4 ms·
No, good language designers take care that their type system is not Turing complete.
by mseepgood 2y ago
No, good language designers take care that their type system is not Turing complete.
- pornel 2y agoIs 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 agopretty sure the C type system is not turing complete, but that doesn't necessarily make it superior
- akkad33 2y agoCan you give an example of such a language that is type safe (which removes C)