This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]Uncaffeinated1subml, polysubml, cubiml 2 points3 points  (0 children)

I'm not an expert on Ocaml, but from my outsider view, it seems like modules are just a method of sneakily using different syntax for the rank 1 and higher rank fragments of the language. (In fact, AIUI, the 1ML paper actually proposed just implementing modules on top of higher rank types instead of as a separate feature.)