Cesium3

Fast interpreter with macros, local type inference, LLVM backend.

入门
GitHub在线演示
Stars:164
License:Other
更新:2025/11/9

README

Cesium v 0.3:

Dependencies:

  • Boehm-Demers-Weiser Garbage Collection

Build:

Update directory paths at the top of the Makefile then type:

make

To run, simply type:

./cesium

Introduction:

Cesium is a language with the following features:

  • LLVMJit backend for performance
  • Local type inference
  • C foreign function interface
  • Syntax and expression macros
  • Garbage collection
  • Imperative and functional styles
  • Parameterised types
  • Ad hoc and parametric polymorphism

Progress:

  • Parser combinators - almost done
  • Symbol Hash table - not done
  • Parser - not done
  • Environments - not done
  • Type system - not done
  • Back end - not done
  • Closures - not done
  • Type inference - not done
  • FFI - not done
  • Module system - not done