4 ms·
Oh ok, I can be wrong about Haskell. BTW, I really like Ceylon, it's very statically safe (more than Haskell I'd say) and very pragmatic (unlike Haskell IMHO, i
by RivieraKid 12y ago
Oh ok, I can be wrong about Haskell. BTW, I really like Ceylon, it's very statically safe (more than Haskell I'd say) and very pragmatic (unlike Haskell IMHO, it doesn't seem to focus on maximizing productivity).
- jimmyhmiller 12y agoCeylon looks interesting. Mind pointing me to some features you think make it more statically safe than haskell?
- RivieraKid 12y agoI don't know if these are considered static safety features but: * Statically safe metaprogramming. * Well designed access rights (private, public). I also really like the type system, very well designed.
- Ixiaus 12y agoI 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.