[Haskell-cafe] Everything you never wanted to know about Applicative laws and more

Alexandre Esteves alexandre.fmp.esteves at gmail.com
Sat Jan 21 13:28:19 UTC 2023


I've spent some time recently going down this particular rabbit hole. The
original motivation was replacing the current formulation of Applicative
laws with the Monoidal-ish one, but one thing led to the other and I ended
up making a post about the various sets of laws and related free theorems:
https://github.com/alexfmpe/semantic-satiation/blob/main/src/Posts/001-applicative-laws.md
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230121/53f444f8/attachment.html>


More information about the Haskell-Cafe mailing list