3 ms·
I think the only languages that are "statically safer" than Haskell are the theorem provers... (agda and coq come to mind) Disclaimer: I do not have enough PL
by Ixiaus 12y ago
I think the only languages that are "statically safer" than Haskell are the theorem provers... (agda and coq come to mind)
Disclaimer: I do not have enough PL type theory under my belt to confidently make this argument.
- FredN 12y agoHaskell is the least statically safe language I've used. Sorry, that Bool was actually an expensive computation that eats up all your memory, but there's no way to figure that out without running it. At least in C, you know unsigned char and the uintN_t integers won't blow up in your face. In Haskell, you can't be sure about anything, not even unit.