This brings to mind Type Checking vs. Metaprogramming; ML vs. Lisp https://www.oilshell.org/blog/2016/12/05.html https://www.oilshell.org/blog/2016/12/05.html

This brings to mind Type Checking vs. Metaprogramming; ML vs. Lisp https://www.oilshell.org/blog/2016/12/05.html https://www.oilshell.org/blog/2016/12/05.html Zig is way better at metaprogramming, but doesn't give you great safety guarantees. Rust is better at type checking, but has at least 3 different kinds of metaprogramming to patch over usability/composability holes created by that rigidity (2 kinds of macros and const contexts)