diff options
| author | JJ | 2023-11-23 05:49:50 +0000 |
|---|---|---|
| committer | JJ | 2023-11-23 05:49:50 +0000 |
| commit | fa8bb975614b5da3eb358598a1fa379911900f0d (patch) | |
| tree | 437563202ff3a79e352289f1d9f2bbe26fe48a5d /computation/modules.md | |
meow
Diffstat (limited to 'computation/modules.md')
| -rw-r--r-- | computation/modules.md | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/computation/modules.md b/computation/modules.md new file mode 100644 index 0000000..8ec4b61 --- /dev/null +++ b/computation/modules.md @@ -0,0 +1,24 @@ +# Modules + +An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with: +- polymorphic data types +- polymorphic interface types +- first-class modules, that are *not* polymorphic (no functors)? + +## Resources + +Papers +- [F-ing Modules](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/fing-modules/B573FA00832D55D4878863DE1725D90B) (2014) + +Posts +- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) + - [Modules Matter Most (presentation)](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf) +- ['Modules Matter Most' for the Masses](https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html) +- [First-Class Modules: An Introduction](https://dev.realworldocaml.org/first-class-modules.html) +- [Exotic Programming Ideas: Module Systems](https://www.stephendiehl.com/posts/exotic01.html) +- [A Crash Course on ML Modules](https://jozefg.bitbucket.io/posts/2015-01-08-modules.html) +- [UW CSE 341: ML Modules](https://courses.cs.washington.edu/courses/cse341/04wi/lectures/09-ml-modules.html) + +Books +- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems]() + |