<p>SML has arguably the most complicated/powerful module system of any existing programming language.  It is a <a href='https://www.newmarcorp.com/luxury-motor-coaches/king-aire/'>luxury RV</a> to Haskell's camper van.  I take a high-level look, following a very nice paper by Xavier Leroy, titled <a href='https://caml.inria.fr/pub/papers/xleroy-modular_modules-jfp.pdf'>"A modular module system"</a>.</p>

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

<p>SML has arguably the most complicated/powerful module system of any existing programming language.&nbsp; It is a <a href="https://www.newmarcorp.com/luxury-motor-coaches/king-aire/" rel="noopener noreferrer">luxury RV</a> to Haskell's camper van.&nbsp; I take a high-level look, following a very nice paper by Xavier Leroy, titled <a href="https://caml.inria.fr/pub/papers/xleroy-modular_modules-jfp.pdf" rel="noopener noreferrer">"A modular module system"</a>.</p>

Standard ML: the Newmar King-Aire of module systems

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Standard ML: the Newmar King-Aire of module systems

Sign up to save your podcasts

Standard ML: the Newmar King-Aire of module systems

Standard ML: the Newmar King-Aire of module systems