News for hackers. Stuff that matters.

A comment on SML#: a new Standard ML family programming language. Parent comment

Re:SML#: a new Standard ML family programming language by more_original on Saturday July 20, 2013 @05:59AM (#6074792)
I'm not sure it is right to speak of "most people". Many people use OCaml these days. For instance, I have the impression that in work on program verification and static analysis OCaml is more popular than Haskell. Coq is written in OCaml, for example. The Haskell community much more vocal though.

Harper has strong opinions, but he has a few points. Haskell may be great, but one should be aware that it is not an improvement on SML in each and every respect. For example, SML has a much better module system than Haskell.

[ Parent | on HN ]
Re:SML#: a new Standard ML family programming language by omaranto on Saturday July 20, 2013 @07:39AM (#6074930)
Haskellers complain about Haskell's module system and say that SML's is better more often than any MLer, I think.
[ Parent | on HN ]
Re:SML#: a new Standard ML family programming language by thirsteh on Saturday July 20, 2013 @06:06AM (#6074799)
F# might already be more popular than both, but it's hard to tell for sure.
[ Parent | on HN ]
Re:SML#: a new Standard ML family programming language by more_original on Saturday July 20, 2013 @06:31AM (#6074846)
Yes, that's my point. We shouldn't say that most people use X because it doesn't seem clear cut at this point.
[ Parent | on HN ]
Re:SML#: a new Standard ML family programming language by thirsteh on Saturday July 20, 2013 @04:04PM (#6076347)
It's not really an ethical problem, just an estimation. If SML was the only similar language, surely a lot more people would be using it.
[ Parent | on HN ]
Re:SML#: a new Standard ML family programming language by zachsnow on Saturday July 20, 2013 @11:00AM (#6075392)
Perhaps OCaml gets a lot of use in that community because a lot of that community is French -- that was my experience, anyway. And a lot of the folks in that community don't seem as vocal (to this side of computing) only because they are using different channels and complaining about different stuff!

It was actually surprising (and somewhat annoying) that Twelf is written in SML.

[ Parent | on HN ]