Re:Free applicatives, the handle pattern, and remote systems
by tinyspacewizard on Friday October 17, 2025 @08:58AM
(#45616248)
This seems like a cool article, but it isn't readable without Haskell background knowledge.
> For an intuition why this is true, consider that the constant functor Const r has an Applicative instance whenever r is a monoid, because pure stores a mempty value and (<*>) combines the held values with (<>). For a fun exercise, implement runAp_ in terms of runAp and Const.
> For an intuition why this is true, consider that the constant functor Const r has an Applicative instance whenever r is a monoid, because pure stores a mempty value and (<*>) combines the held values with (<>). For a fun exercise, implement runAp_ in terms of runAp and Const.
Really?