Type Checking vs. Metaprogramming; ML vs. Lisp

https://www.oilshell.org/blog/2016/12/05.html