3 ms·
> The point of a type system is safety. Unless I'm missing something, having Turing completeness in a type system doesn't mean it's less safe; it just means th
by thinkpad20 10y ago
> The point of a type system is safety.
Unless I'm missing something, having Turing completeness in a type system doesn't mean it's less safe; it just means the type checker might not terminate. In which case, of course, the code will not compile and thus cannot do anything unsafe (of course the type checker itself might, say, allocate infinite memory and crash your machine... But that's a different story)
- CalChris 10y agoIt doesn't mean it's more safe. It doesn't mean it's safe. It just means it's complex, needlessly complex.
- thinkpad20 10y agoI wasn't claiming that it makes it more safe. The implication of the post I was responding to, or at least, how I read it, was that a Turing complete type system might compromise safety.