Standard ML Family GitHub Project

Re:Standard ML Family GitHub Project by cousin_it on Friday September 26, 2014 @05:48PM (#8375090)

Standard ML is my favorite language, bar none. It contains so many ideas that are obviously the Right Thing in retrospect, like parametric polymorphism, algebraic data types, pattern matching, Hindley-Milner type inference, etc. The ideas added by ML's successors, like OCaml and Haskell, seem much more iffy and debatable in comparison.

Maybe the page should also mention Concurrent ML? It's basically the right solution to the problem that Go is fumbling toward.

[ Parent | on HN ]

Re:Standard ML Family GitHub Project by riffraff on Friday September 26, 2014 @06:42PM (#8375281)

Why is Concurrent ML's solution to concurrency better than Alice ML's ?

[ Parent | on HN ]

Re:Standard ML Family GitHub Project by cousin_it on Friday September 26, 2014 @07:09PM (#8375371)

I don't really know if CML style (rendezvous) is better or worse than Alice ML style (futures). If you have any good references on that, please let me know :-)

It just seems to me that Go went with the former style, but made some mistakes that CML managed to avoid, e.g. Go doesn't garbage-collect a thread that's blocked on a channel whose other end went out of scope.

[ Parent | on HN ]