Hacker News new | ask | show | jobs
by mej10 3195 days ago
This is a weird comment since you've purposefully included many Haskell extensions that are in no way part of the "core" language.

Hindley-milner, ADTs, type classes, and laziness are core i.e. part of Haskell 2010. GADTs aren't even part of core Haskell. So I guess it is simpler than Ocaml after all!
1 comments
ihm 3194 days ago
I intended the phrase "core" to refer to aspects of the language which are commonly used, leaving aside less frequently used or more obscure GHC extensions like existential quantification, functional dependencies, implicit params, etc, etc.

Which language features that I mentioned do you not think are commonly used in Haskell?

link
mej10 3194 days ago
Backpack, for example, was _literally_ only released in the latest version of GHC. Do you just glance over the subreddit occasionally or something? That would explain your list.

You list things that aren't part of the Haskell standard and just claim that they are "core" while not even listing all of the _actually core_ features of OCaml -- all of its OO parts.

link