I actually do programming in Scala and I'd have to disagree. While there's the freedom to build a "type castle", you don't have to. For the most part Scala gets things right.

When you do need/want to get fancy with types, you get some of the best tools out there to do it.