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
I guess I think it's perhaps weird in the same sense as if you were to call an integer or string type 'monoid' but I dunno. I do see what you are saying though!
1
1
Also yeah, you could also say that the functors from category theory are actually more general than Haskell's `Functor` typeclass, so perhaps that was a bad name too! 😂
(for those not in the know it's really defining an endofunctor in the category of haskell types)