Explore >> Select a destination


You are here

julesh.com
| | bartoszmilewski.com
16.0 parsecs away

Travel
| | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative...
| | blog.sigfpe.com
13.4 parsecs away

Travel
| |
| | www.haskellforall.com
15.0 parsecs away

Travel
| | Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov...
| | twopoint.dev
105.3 parsecs away

Travel
| Come along for a story of how I grappled with that very question along my own journey of learning functional programming