6 ms·

Functor typeclass in Haskell models category-theoretic endofunctor rather well.

• xyzzyz 15y ago
  Functor typeclass in Haskell is not what is usually meant by "functor pattern", e.g. the function object, something that "implements Runnable".
  • deleted 15y ago
    [deleted]
  • pavpanchekha 15y ago
    I had no idea the gang of four had appropriated that word too. My bad. I really did mean the category theory functor, not whatever its other meaning is. However useful or not category theory is for producing new proofs, I found it enlightening and am glad this was posted.