4 ms·
I still actively use SML - mlton or smlnj usually, polyml too. I’m aware of the issues raised in this post but haven’t ever found them to be a source of much he
by porcoda 4y ago
I still actively use SML - mlton or smlnj usually, polyml too. I’m aware of the issues raised in this post but haven’t ever found them to be a source of much headache. To be honest, the biggest headache is moving between compilers and their different build processes. Other than that, the fact that the language isn’t really changing is a big attraction for me.
CakeML is also a very cool project in SML land.
- Karrot_Kream 4y agoI am curious what you use SML for. Any examples? Just interested in seeing what you can do in SML.
- porcoda 4y agoMostly programming languages related: code analysis, compilers, code generators, and formal verification tools. Outside PL work, I’ve used it to build some modeling and simulation tools. I also use it for misc. little tools that I need every so often where I want the type system to help me out. For a brief few years (‘09-‘15) Haskell played this role for me but I went back to SML after getting frustrated with various parts of that ecosystem.
- Karrot_Kream 4y agoOh modeling and simulation is an interesting idea, that sounds like a perfect thing to play around with SML for. Thanks!
- mbarbar 4y ago>CakeML is also a very cool project in SML land. I've been very interested in CakeML lately, do you use it for anything?