I think the author meant that you don't want two separate Turing-complete langua...

		marvy on Feb 12, 2015 \| parent \| context \| favorite \| on: Seven deadly sins of talking about “types” (2014) I think the author meant that you don't want two separate Turing-complete languages, one for values at runtime, and another for values at compile time.