> And because of implicits, the type-system is also more powerful than what's available in Ocaml and even Haskell. I don't think that's true. You do the same t

> And because of implicits, the type-system is also more powerful than what's available in Ocaml and even Haskell. I don't think that's true. You do the same thing (e.g. collections that choose better representations) via type families/associated data types in Haskell. E.g. in [1] or [2] That said, what is true is that Odersky has modified the Scala type system in quite interesting ways, specifically to support his collections library. [3] [1]: http://hackage.haskell.org/package/adaptive-containers http://hackage.haskell.org/package/adaptive-containers [2]: http://hackage.haskell.org/package/accelerate http://hackage.haskell.org/package/accelerate [3]: http://lampwww.epfl.ch/~odersky/papers/fsttcs09.html http://lampwww.epfl.ch/~odersky/papers/fsttcs09.html