A look at Haskell's module system
Iowa Type Theory Commute
English - April 27, 2021 01:00 - 22 minutes - 15.3 MB - ★★★★★ - 13 ratingsTechnology Science Mathematics programming languages computational logic type theory proof assistants cedille Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Let's talk about modules!
Next Episode: Standard ML: the Newmar King-Aire of module systems
I briefly survey the main features of Haskell's module system, and reflect a bit on its design.