Trilogy

My (approximately) third attempt at building a programming language¹².

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!

Status

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

1. 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. ↩

2. 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. ↩