3 ms·

it's three things: * a syntax, including literals * first class support for llvm IR and primitives * a macro system allowing you to create new ir-level primi

it's three things: * a syntax, including literals * first class support for llvm IR and primitives * a macro system allowing you to create new ir-level primitives with aforementioned syntax. It seems like a lisp without homoiconicity and a complex syntax (compared to sexps). Think: greenfield compiler development, or maybe a DSP DSL.

daxfohl 9y ago
Or a lisp that forsakes those things to gain the advantage of compile time type checking etc.
- xfer 9y ago
  You don't need to forsake any of that to get compile-time type checking.