5 ms·

I have seen papers saying at least Java and Python type systems are turing complete. I wouldn't surprised if all type systems are turing complete

• mseepgood 2y ago
  No, good language designers take care that their type system is not Turing complete.
  • pornel 2y ago
    Is there a mainstream language where this still holds true? From what I've seen most languages don't want to have a Turing complete type system, but end up with one anyway. It doesn't take much, so it's easy to end up with it accidentally and/or by adding conveniences that don't seem programmable, e.g. associated types and type equality.
    • anon25783 2y ago
      pretty sure the C type system is not turing complete, but that doesn't necessarily make it superior
  • akkad33 2y ago
    Can you give an example of such a language that is type safe (which removes C)