My (approximately) third attempt at building a programming language12.
Also a programming language that more closely resembles three languages at once than any one single language.
Also an exploration into a bunch of ideas in language theory (or at least my own ideas of them) that I am finding come in sets of three.
That makes a trilogy. Hopefully I produce something useful. Third time's the charm!
The 0.1 "barely functioning" version of Trilogy and all its components is nearing readiness. Though far from a fully working ecosystem, at least the language will soon work, for the most part, enough to begin experimenting with its usability and iterating on the design.
- Read some papers and instructions on programming languages
- https://www.eff-lang.org/handlers-tutorial.pdf
- http://www.math.bas.bg/bantchev/place/iswim/j-explanation.pdf
- http://www.math.bas.bg/bantchev/place/iswim/j.pdf
- https://cs.ru.nl/~dfrumin/notes/delim.html
- https://www.cs.cmu.edu/~rwh/students/filinski.pdf
- https://homepages.inf.ed.ac.uk/slindley/papers/effmondel-jfp.pdf
- https://caml.inria.fr/pub/papers/xleroy-applicative_functors-popl95.pdf
- https://doc.rust-lang.org/reference/
- https://github.com/HigherOrderCO/HVM
- https://www.sciencedirect.com/science/article/pii/S0890540197926432/pdf?md5=30965cec6dd7605a865bbec4076f65e4&pid=1-s2.0-S0890540197926432-main.pdf
- Design the language: Check out the spec!
- Read the book
- Specify the language (Living document)
- Implement the language:
- Scanning
- Parsing
- Syntactic analysis
- Name resolution
- Bytecode generation
- Virtual machine
- Garbage collector
- Testing (In progress)
- Standard library (In progress)
- Implement the ecosystem
- Formatter
- Linter
- LSP
- DAP
- Future experimental features:
- Bytecode optimization
- Try out IC based VM (HVM)
- Add another level between current IR and code generation
Footnotes
-
First few were school projects, WLP4 (a subset of C), and Joos (a subset of Java), and maybe a few others. Though technically I did (attempt to) implement them (with friends), they aren't my languages, so I cannot provide the source code. ↩
-
The first I could call my own was Lumber, an experiment at a logic programming language, but much was found lacking in performance and practicality. ↩