petition to ban all uses of the word "functor" other than the category theoretic sense
Conversation
I always say ‘module function’ when talking about ML module systems. I hope that this is less confusing!
1
2
I have no idea what an ML module system is :( I tried to learn ocaml once and got upset at its verbose syntax and USE OF GODFORSAKEN EXCEPTIONS
3
1
Replying to
Yeah OCaml is a bit goofy in many ways. ML-modules are a super nice way of making interfaces though! But the terminology and syntax they use is often… frustratingly obtuse.
Replying to
You have module instances (structures), module types (signatures) and module functions (functors).
1
1
A cool language that simplifies a bunch of this stuff is 1ML: people.mpi-sws.org/~rossberg/1ml/
1
2
Show replies