I don't know if these are considered static safety features but: * Statically safe metaprogramming. * Well designed access rights (private, public). I also r

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.