4 ms·

ML actually has a formally specified semantics. Haskell does not.

• brians 11y ago
  OCaml doesn't either.
  • jallmann 11y ago
    Sure, for a subset of the language. But the point is, a hand-wavy complaint about PL semantics (which can be precisely defined) doesn't make sense when comparing languages in this context.
• codygman 11y ago
  Do you mean: http://sml-family.org/sml97-defn.pdf http://sml-family.org/sml97-defn.pdf
  • jallmann 11y ago
    That's the one for Standard ML, yes. There are others for SML, some using proof assistants [1]. Other (S)ML extensions have formal semantics as well, and OCaml itself is partially specified [2]. [1] https://github.com/CakeML/cakeml https://github.com/CakeML/cakeml [2] http://www.cl.cam.ac.uk/~so294/ocaml http://www.cl.cam.ac.uk/~so294/ocaml