[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.