|
|
|
|
|
|
by tinyspacewizard
239 days ago
|
|
|
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. Really? |
|
|