[RivieraKid]

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]

Ceylon looks interesting. Mind pointing me to some features you think make it more statically safe than haskell?

[RivieraKid]

I 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]

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.