Links
Repl.it Programming Languages Jam
This Jam is a great excuse for me to work on Extol again. I've created a team here and I'm looking for teammates (prolog experience required). I plan to add:
- repl
- syntax improvements
- Emacs mode
- include statement
- functions and expressions
- stack traces
- proper AST instead of raw Prolog terms
- compile-time type checking
- custom prelude to wrap Prolog predicates
- anonymous predicates and lambdas
- first-class predicates and functions
- modules and namespaces
Inspiration
Existing Features
- a Prolog parser in Prolog that can parse itself
- a Prolog generator for the parsed declarations
- runtime type checking
Further ideas
- explicit lexical elements
- extensible lexical elements
- middle-out parsing
- → parser for C
- types and constraints
- Unicode
- rich library of data types
- non-binary const, open sets and maps
- parser for Python
- parser for JavaScript
- parser for Bash
- constraint and logic programming
- compiling interpreted scripts by tree shaking down to C
- convert between languages
- polyglot library for common types and functions
- polyglot FFI and messaging
- Convert C++ to C-ish: instantiate all templates, explicit construct, destroy, copy, move, convert and return
- theorem proving
- SMT
- parallelism
- effects