Programming languages
GraalVM and Truffle framework
https://taoofmac.com/space/dev/lisp
https://github.com/carp-lang/Carp
compilers typically move from a higher level of abstraction to a lower one
scheme for embedded systems
programing is compiling from ideas to code
Koka: a Functional Language with Effects
algorithmic information theory