This reminds me of a paper in the latestest edition of sigbovik [0], "Applications of Standard ML at Google" [1]. It could also use some newer things like bett

This reminds me of a paper in the latestest edition of sigbovik [0], "Applications of Standard ML at Google" [1]. It could also use some newer things like better support for unicode strings. [0]: http://sigbovik.org/2019/proceedings.pdf http://sigbovik.org/2019/proceedings.pdf [1]: Page 170, Also here: https://github.com/solb/sigbovik/blob/master/papers/SIGBOVIK_2019_paper_19.pdf https://github.com/solb/sigbovik/blob/master/papers/SIGBOVIK...