3 ms·
I am at the same time both amazed and utterly unsurprised that this was possible, given all the hullaballoo about TypeScript's type system being Turing complete
by dgunay 2y ago
I am at the same time both amazed and utterly unsurprised that this was possible, given all the hullaballoo about TypeScript's type system being Turing complete. Having the grit to actually go through with it though? Bravo.
- akkad33 2y agoI 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 agoNo, 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)