News for hackers. Stuff that matters.

A comment on Functors and Monads for People Who Have Read Too Many "Tutorials" (2021).

Re:Functors and Monads for People Who Have Read Too Many "Tu... by Iceland_jack on Friday August 02, 2024 @08:39PM (#41143861)
Applicative is n-ary lifting, Functor is a special unary case of Applicative:

    liftA0 :: Applicative f => (a)                -> (f a)
    liftF1 ::     Functor f => (a -> b)           -> (f a -> f b)
    liftA2 :: Applicative f => (a -> b -> c)      -> (f a -> f b -> f c)
    liftA3 :: Applicative f => (a -> b -> c -> d) -> (f a -> f b -> f c -> f d)
    .. where
  liftA0 = pure
  liftF1 = fmap
[ Parent | on HN ]

There are no comments on this comment yet.