33 ms·Turing complete (or more generally, expressive) type systems are not only about metaprogramming!by whateveracct 10y agoTuring complete (or more generally, expressive) type systems are not only about metaprogramming!