Following the excellent Crafting Interpreters book, this is an attempt to write a Lox interpreter in OCaML.
- Strong typing, or atleast, an attempt at hybrid typing, so I can use this to learn typing and type inference.
- Compile it instead of interpreting it
- Add optimisations
- Constant time operations to make it nice for cryptography?
- Lox Language Reference
- Loxdown, a strongly typed variant of Lox
- LoxJIT, a compiled version of Lox