Standard ML: the Newmar King-Aire of module systems

Published: May 10, 2021, 5 a.m.

SML has arguably the most complicated/powerful module system of any existing programming language.\xa0 It is a luxury RV to Haskell's camper van.\xa0 I take a high-level look, following a very nice paper by Xavier Leroy, titled "A modular module system".