4 ms·
Which SML implementation has the best editor tooling? The article mentions that certain SML implementations have seen better support for parallel and concurren
by jez 6y ago
Which SML implementation has the best editor tooling?
The article mentions that certain SML implementations have seen better support for parallel and concurrent programming than OCaml, but Merlin and ocamlformat for OCaml are great as far IDE tooling go. Which SML implementation has the best tooling for things like go to definition, reveal type at cursor, and format file?
- eatonphil 6y agoNone 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...