Haskell's Children

Re:Haskell's Children by fanf2 on Wednesday September 23, 2020 @03:31PM (#24570949)

I think part of it is that there aren't many functional programming languages with a standard specification, multiple implementations, lots of users, an active research community, and where results of research feed into the implementations and the standard.

Haskell ticks all these boxes.

SML has most of those things, except the last: it was effectively frozen in 2001. This is discussed in section 9.3 of the HOPL IV History of Standard ML https://dl.acm.org/doi/10.1145/3386336

OCaml lacks a standard and multiple implementations, and seems to me to be doing better than SML in the other areas.

[ Parent | on HN ]

Re:Haskell's Children by octachron on Wednesday September 23, 2020 @04:26PM (#24571585)

Isn't GHC the only full implementation of Haskell 2010? I am not sure how much the multiple implementations matter when there is only one full implementation of the last specification, which itself lags 10 year behind the only implementation massively used.

[ Parent | on HN ]