What do you mean by dynamic here, exactly? From what I understand, in Scala, types are statically inferred (at compile time, not at runtime). I'd call this a very nice feature to reduce boilerplate.
Compile time type inference is nice, but it doesn't make me excited about the language. Personally, I find more value in things like pattern matching and case classes.
FWIW, I didn't call it dynamic, TFA did.