3 ms·
None of them have invested very much in tooling as far as I know. There are some small sml-modes for emacs or plugins for vim but they only do basic syntax high
by eatonphil 6y ago
None of them have invested very much in tooling as far as I know. There are some small sml-modes for emacs or plugins for vim but they only do basic syntax highlighting.
One of the biggest missing things for SML tooling is parsers for SML written in SML. They tend to be written in the implementation language and not exposed as a library. So you don't see SML formatters or documentation generators so much.
There have been a few attempts at this but they haven't seriously caught on.
- Munksgaard 6y agoMLKit is a (quite performant) SML implementation written in Standard ML, including the parser.
- eatonphil 6y agoActually now that I look, the one formatting tool I saw come out this year is based on a parser that apparently SML/NJ exposes. https://github.com/ProjectSavanna/autoformat/blob/master/run.cm https://github.com/ProjectSavanna/autoformat/blob/master/run...