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