Interesting, felt the same way, and then something changed, rather than feeling punished by the type checker, the type checker became my ally, teaching me about

Interesting, felt the same way, and then something changed, rather than feeling punished by the type checker, the type checker became my ally, teaching me about my mistakes at compile time. Other than for quick scripts I have no interest in dynamic languages now, fully converted to the Typed side ;-) Ruby and Scala are quite similar in some ways: terse syntax, functional, MOP capable (implicits), mixins (traits), etc., but yes, you have to prove to the type checker that your intentions are correct/sound.