> Type system is even accidentally Turing complete A turing complete type system is easier to stumble into than to avoid. That doesn’t mean the type system is

> Type system is even accidentally Turing complete A turing complete type system is easier to stumble into than to avoid. That doesn’t mean the type system is expressive. Turing tarpits are turing complete by definition, and nobody would call Thue, Iota, or the average OISC expressive.