3 ms·
> How do I get from X to Y by "literally the functor"? NB You only need to get from X to Y in ways that arise from getting from A to B. Since there doesn't se
by tome 10y ago
> How do I get from X to Y by "literally the functor"?
NB You only need to get from X to Y in ways that arise from getting from A to B. Since there doesn't seem to be any relevant concept of morphism it's hard to see how ML functors are anything other than trivially category theoretical.
- more_original 10y agoYes, I know! That's the point I'm trying to make. This whole discussion is about MustardTiger's claim that functors in OCaml have the same meaning as Functor in Haskell. While the latter model functors in the category-theoretic sense, the same cannot be said for the former.
- tome 10y agoI know you know :) I'm just reinforcing your point.