News for hackers. Stuff that matters.

A comment on Functors: Identity, Composition, and fmap. Parent comment

Re:Functors: Identity, Composition, and fmap by munchler on Saturday April 05, 2025 @02:50PM (#43595805)
Yes, I was just trying to be descriptive by including the full signature.
[ Parent | on HN ]
Re:Functors: Identity, Composition, and fmap by tmoertel on Saturday April 05, 2025 @04:05PM (#43596413)
Ok. It's just that, as asked, the answer is obviously no because if F = `Set e`, F is not a type constructor, so F cannot be a functor.
[ Parent | on HN ]
Re:Functors: Identity, Composition, and fmap by munchler on Saturday April 05, 2025 @04:20PM (#43596509)
Understood. I should've left the `e` out, but it's too late to edit now. (I love Haskell, but I'm not actually very good at it.)
[ Parent | on HN ]
Re:Functors: Identity, Composition, and fmap by pxeger1 on Saturday April 05, 2025 @05:14PM (#43596860)
If `F a = Set e` for some constant e, then F is a functor (just a trivial one)
[ Parent | on HN ]