Melvin's digital garden

Programming languages

bruijn

Maru Hacking Maru

GraalVM and Truffle framework

https://taoofmac.com/space/dev/lisp

https://github.com/carp-lang/Carp

https://ziglang.org/

https://nim-lang.org/

https://crystal-lang.org/

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

embedded scripting language

Python

CPython execution

lisp

macros

memory allocation

parsing

software verification

algorithmic information theory

Bootstrapping compiler/interpreter

partial evaluation

julia

Learning SML

Links to this note