3 ms·
How is it that they have no relation to Haskell functors? > Functors are, roughly speaking, functions from modules to modules (https://realworldocaml.org/v1/en
by innguest 12y ago
How is it that they have no relation to Haskell functors?
> Functors are, roughly speaking, functions from modules to modules
(https://realworldocaml.org/v1/en/html/functors.html https://realworldocaml.org/v1/en/html/functors.html)
Functors in haskell have functions (fmap) that take a value (a function) from one category into another.
Are they not at least the same Functor as in Category Theory?
- tel 12y agoWell, they're related at that level. Many, many things are category theoretic functors, though. It's a very general idea of a structure-preserving map between structures.