diff options
| author | JJ | 2024-01-05 02:37:28 +0000 |
|---|---|---|
| committer | JJ | 2024-01-05 02:37:28 +0000 |
| commit | 439c5d3ef5fb8b8ebba28d45088d9b91db7418ac (patch) | |
| tree | 279051b346a86c782b3b7ad3a954f1f8dab9bb54 /computation/modules.md | |
| parent | 5ffac59a93388e16e90dbdd1c4f68d6a2f2c057a (diff) | |
meow
Diffstat (limited to 'computation/modules.md')
| -rw-r--r-- | computation/modules.md | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/computation/modules.md b/computation/modules.md deleted file mode 100644 index be7b7e5..0000000 --- a/computation/modules.md +++ /dev/null @@ -1,28 +0,0 @@ ---- -layout: computation -title: computation/modules ---- - -# 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/) (and [slides](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](https://annas-archive.org/md5/7175434efd5620b4b117aa45a01777fa) - |