Standard ML Family GitHub Project

Re:Standard ML Family GitHub Project by abritishguy on Friday September 26, 2014 @05:03PM (#8374832)

Do people still use ML? It has some historic significance as a programming language but seems completely irrelevant now (although still taught as part of the University of Cambridge CS course).

[ Parent | on HN ]

Re:Standard ML Family GitHub Project by jojo3000 on Friday September 26, 2014 @08:29PM (#8375599)

In interactive theorem proving HOL4 (http://hol.sourceforge.net/) and Isabelle (http://isabelle.in.tum.de/) are written in SML and are actively developed.

[ Parent | on HN ]

Re:Standard ML Family GitHub Project by ims on Friday September 26, 2014 @05:36PM (#8375033)

OCaml is used to some extent. Most notable industry user of an ML (in the form of OCaml) is probably Jane Street Capital.

F# is an ML descendent.

[ Parent | on HN ]