3 ms·
Anyone with experience with both Shen/Qi and an HM type system (OCaml, Scala, Haskell family) able to comment? I'd love to learn a bit more about what Shen/Qi d
by tel 13y ago
Anyone with experience with both Shen/Qi and an HM type system (OCaml, Scala, Haskell family) able to comment? I'd love to learn a bit more about what Shen/Qi do.
- anonymoushn 13y agoScala 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.