3 ms·
Functors are not parameterized signatures: they do not allow a signature to depend upon another signature, but rather a structure to depend on another structure
by jonsterling 12y ago
Functors are not parameterized signatures: they do not allow a signature to depend upon another signature, but rather a structure to depend on another structure. (However, SML/NJ has an extension called `funsig` which does what you have described).
- tel 12y agoOomph. That's what I get for talking about OCaml after not using it for a really long time, s/signature/struct/.