There are some mini typed functional languages here - https://plzoo.andrej.com/ https://plzoo.andrej.com/ Although they are implemented in OCaml, which feels l

There are some mini typed functional languages here - https://plzoo.andrej.com/ https://plzoo.andrej.com/ Although they are implemented in OCaml, which feels like more magic than say a Forth or Lisp written in C. In C you can still "see" how it runs on hardware I think Standard ML is actually the "usable mini ML" These types of languages will always be bigger than Lisp/Forth/Tcl, because they require lexer /parser / type checker / GC runtime --- Although I would like to see someone do the smallest possible C version of an ML Something like c4 - C in 4 Functions (https://github.com/rswier/c4 https://github.com/rswier/c4) - which actually has a type checker! (which is hard to see on first reading)