lasca-compiler

lasca-compiler copied to clipboard

Design and implement basic FFI to C.

nau

Implement Language Server Protocol https://microsoft.github.io/language-server-protocol in the compiler.

nau

Currently, Infer expects function in declare-before-use order and doesn't support mutually recursive functions.

nau

Now we have `foldl : ∀(a,b) => ((List a) -> (b -> ((a -> (b -> b)) -> b)))` I'd like to have `foldl : ∀(a,b) => List a ->...

nau

Use stack allocated primitive types whenever possible, box when needed. Specialize generic functions for primitive types on instantiation.

nau

nau

nau

Parse expressions instead of toplevel.

nau

Single parameter for now

nau

Link statically to LLVM or ship it or something.

nau