3 ms·

A bit offtopic but: has anyone used SML (https://www.smlnj.org/ https://www.smlnj.org/) for anything serious? I fell in love with this language in University l

by magpi3 8y ago

A bit offtopic but: has anyone used SML (https://www.smlnj.org/ https://www.smlnj.org/) for anything serious? I fell in love with this language in University long ago (in the 90s), but I have never seen anyone use it in the wild.

shikoba 8y ago
I'm sure that a big part of OpenModelica compiler is in SML.
hackermailman 8y ago
Mathworks hires SML programmers for their various products that detect runtime errors and proof assistants for C/C++ programs
cmrdporcupine 8y ago
I tried OCaml first and then SML/NJ and I found SML/NJ to be a nicer language. But OCaml seems to have a lot more momentum behind its use.
zem 8y ago
ur/web is written in sml: http://www.impredicative.com/ur/ http://www.impredicative.com/ur/
- magpi3 8y ago
  Thank you