Hacker News Reader

> 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.

View on HN

Yes, 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.

I know you know :) I'm just reinforcing your point.

Reply on news.ycombinator.com