News for hackers. Stuff that matters.

A comment on Why We Use OCaml. Parent comment

Re:Why We Use OCaml by innguest on Thursday July 17, 2014 @12:00AM (#8045999)
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)

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?

[ Parent | on HN ]
Re:Why We Use OCaml by tel on Thursday July 17, 2014 @12:27AM (#8046049)
Well, 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.
[ Parent | on HN ]