Gale is a research project I created for the purpose of investigating language implementation. The project is divided into several subprojects (roughly corresponding to compiler pipeline stages):
parser/is the parser for Gale. It usesnomto parse.galefiles into the ATerm format, an existing format I implemented in Rust.checker/contains the typechecker. The typechecking logic is written in the Tecs DSL, a DSL I created for this project.compiler/contains several transformation passes that turn typechecked Gale terms into VM bytecode. These transformation passes are written in the Ters DSL, another DSL I created for this project.pipeline/is a small project that combines all of the above stages into a single binary.dataflow/contains a small (wip) library for implementing dataflow analyses, used by the VM.utils/contains some utilities for working with the compiler and VM, such as dissassembling and printing generated JIT code.tests/contains e2e tests and a small test runner written in python.
I am currently reworking the virtual machine to allow for dialects (inspired by MLIR) such that it can be extended to more succintly support different kinds of programming languages.
For an idea of what the Gale language looks like, look at some of the .gale files in tests/