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
- total: total function
- exn: partial functions that can raise exceptions
- div: divergent
- pure: exn and div
- st: may manipulate heap
- io: does io
- …
algorithmic information theory