There's also xtlang by Andrew Sorensen [1], which layers s-exprs, macros and closures with static types on a low level machine model with C-like semantics (LLVM

There's also xtlang by Andrew Sorensen [1], which layers s-exprs, macros and closures with static types on a low level machine model with C-like semantics (LLVM IR). [1] https://extemporelang.github.io/docs/reference/types/ https://extemporelang.github.io/docs/reference/types/