Standard ML: the Newmar King-Aire of module systems

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

b'

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

'