12 ms·
Very cool! Is anyone using SML these days for major projects? Feels like all the hype is around F# and OCaml.
by pharmakom 4y ago
Very cool!
Is anyone using SML these days for major projects? Feels like all the hype is around F# and OCaml.
- magpi3 4y agoI was introduced to SML in 1996. It has always been a very interesting language, but it never seemed to make it out of academia, which I guess is okay. It seems to have a very nice niche there.
- gnufx 4y agoIt's at least still used where it originated in proof systems, like Isabelle (as used, for example, in hardware verification work like https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/ https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/ for indirect industrial relevance).