3 ms·
Scala does not use an HM type system. This is actually its most significant fault, and much code is written to sweep the matter under the rug.
by anonymoushn 13y ago
Scala does not use an HM type system. This is actually its most significant fault, and much code is written to sweep the matter under the rug.
- tel 13y agoI thought it was still "locally HM-like", but I don't really have a clue what type systems including class hierarchies look like.
- necubi 13y agoIts most significant fault and also its greatest virtue: there's no way to integrate Java's type system into a proper HM type system. As Scala's (mostly) seamless, bidirectional Java integration is its prime selling point (otherwise, why not just use Haskell?), this complaint mostly misses the point.