Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/foxfriends/trilogy
Actually just three programming languages in a trenchcoat
https://github.com/foxfriends/trilogy
effect-handlers functional-programming imperative-programming logic-programming programming-language
Last synced: 7 days ago
JSON representation
Actually just three programming languages in a trenchcoat
- Host: GitHub
- URL: https://github.com/foxfriends/trilogy
- Owner: foxfriends
- License: mit
- Created: 2022-12-29T05:03:28.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-04-19T20:15:21.000Z (10 months ago)
- Last Synced: 2024-05-01T13:17:31.334Z (10 months ago)
- Topics: effect-handlers, functional-programming, imperative-programming, logic-programming, programming-language
- Language: Rust
- Homepage:
- Size: 2.84 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 11
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Trilogy
[](https://github.com/foxfriends/trilogy/actions/workflows/spec.yml)
[](https://github.com/foxfriends/trilogy/actions/workflows/rust.yml)
[](https://github.com/foxfriends/trilogy/actions/workflows/c.yml)
[](https://github.com/foxfriends/trilogy/actions/workflows/trilogy.yml)
My (approximately) third attempt at building a programming language[^1][^2].
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!
[^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](https://github.com/foxfriends/lumber), an experiment at a logic programming language, but much was found lacking in performance and practicality.
## Status
The v0.0 "barely functioning" version of Trilogy was completed in 2023, using a custom bytecode virtual machine.
While it did succeed at its [original goal](https://github.com/foxfriends/advent-of-code/tree/main/2023), there
were numerous flaws with performance, memory usage, and bugs in general.
A v0.1 version is now in the works, backed by LLVM for a more robust and performant implementation and better
FFI to native libraries.
- [x] 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
- [x] Design the language: Check out the [spec](./spec/)!
- [x] Read the [book](https://craftinginterpreters.com/)
- [x] Specify the language (Living document)
- [ ] Implement the language:
- [x] Scanning
- [x] Parsing
- [x] Syntactic analysis
- [x] Name resolution
- [x] ~~Bytecode generation~~
- [x] ~~Virtual machine~~
- [x] ~~Garbage collector~~
- [ ] LLVM code generation (in progress)
- [ ] Testing
- [ ] Standard library
- [ ] Implement the ecosystem
- [ ] Formatter
- [ ] Linter
- [ ] LSP
- [ ] DAP
- [ ] Future experimental ideas:
- [ ] Try out IC based VM (HVM)