GitHub - wbhart/Cesium3: Fast interpreter with macros, local type inference, LLVM backend.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
LICENSE		LICENSE
Makefile		Makefile
README		README
ast.c		ast.c
ast.h		ast.h
backend.c		backend.c
backend.h		backend.h
cesium.c		cesium.c
exception.c		exception.c
exception.h		exception.h
input.c		input.c
input.h		input.h
parser.c		parser.c
parser.h		parser.h
symbol.c		symbol.c
symbol.h		symbol.h
types.c		types.c
types.h		types.h

Repository files navigation

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