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: 19 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 (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-19T20:15:21.000Z (7 months ago)
• Last Synced: 2024-05-01T13:17:31.334Z (7 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

[![Spec](https://github.com/foxfriends/trilogy/actions/workflows/spec.yaml/badge.svg)](https://github.com/foxfriends/trilogy/actions/workflows/spec.yaml)

[![Rust CI](https://github.com/foxfriends/trilogy/actions/workflows/rust.yml/badge.svg)](https://github.com/foxfriends/trilogy/actions/workflows/rust.yml)

[![Trilogy CI](https://github.com/foxfriends/trilogy/actions/workflows/trilogy.yml/badge.svg)](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 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.

- [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

    - [ ] 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