Hacker News Reader

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?

View on HN

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.

MLKit is a (quite performant) SML implementation written in Standard ML, including the parser.

Actually 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...

Reply on news.ycombinator.com