<p>I look back at the module systems we considered so far (Haskell's, Standard ML's, and Agda's), and consider a few points that are on my mind about these.  I also mention a few other languages' module systems (Clojure, Java 9).  I also ponder names and namespace management.</p>

I look back at the module systems we considered so far (Haskell's, Standard ML's, and Agda's), and consider a few points that are on my mind about these. I also mention a few other languages' module systems (Clojure, Java 9). I also ponder names and namespace management.

<p>I look back at the module systems we considered so far (Haskell's, Standard ML's, and Agda's), and consider a few points that are on my mind about these.&nbsp; I also mention a few other languages' module systems (Clojure, Java 9).&nbsp; I also ponder names and namespace management.</p>

Some thoughts on module systems so far

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

Share Some thoughts on module systems so far

Sign up to save your podcasts

Some thoughts on module systems so far

Some thoughts on module systems so far