Comment by mseepgood

No, good language designers take care that their type system is not Turing complete.