4 ms·
SML is one of my favorite languages (I've been (very) slowly writing a compiler & language server for it). Sure, it has some warts/differences compared to newe
by shpongled 4y ago
SML is one of my favorite languages (I've been (very) slowly writing a compiler & language server for it).
Sure, it has some warts/differences compared to newer languages - we have moved towards traits/typeclasses/etc, and I wish I could just write #[derive(Debug) - but I feel that SML fits in a very unique spot for programming languages. It's extremely simple, yet still powerful and expressive. I hope we will see continued work on SML/Successor ML descendants (like 1ML, etc), because I think there's still potential there
I think some updated language tooling would dramatically help.
- jaytaylor 4y agoIs your development progress taking place in the open? (e.g. GitHub or somewhere similar) It sounds like a cool project and I'd love to see it! And even have the option to open a PR and help ;)
- eatonphil 4y agoYes, please share or open-source it even if it's not done!
- shpongled 4y agoYou have already linked to it :)
- shpongled 4y agoI have the compiler on GitHub [1] - I just started working on it again after a 2-year hiatus (to finish my PhD). As for language-server, I'm currently sketching out some plans to use SMLnj's "Visible Compiler" feature, since that seems the easiest path forward. I have a half-baked language-server based on MLton's def-use output, but it's too unstable to share. I am planning to make some progress on the language-server in the next couple weeks. [1] You'll notice it's just a fragment of the language for now, and only half-implemented. https://github.com/SomewhatML/sml-compiler https://github.com/SomewhatML/sml-compiler and https://github.com/SomewhatML/sml-analyzer https://github.com/SomewhatML/sml-analyzer (again for a fragment of SML)