/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 blog.sigfpe.com
A Neighborhood of Infinity: The Monad called Free
| | jackkelly.name
Monoids in the Category of... | Blog | jackkelly.name
3.1 parsecs away

Travel
| |
| | bartoszmilewski.com
Free Monoidal Functors | Bartosz Milewski's Programming Cafe
2.4 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.cofree.coffee
A Brief Intro to Monad Transformers
2.0 parsecs away

Travel
| | [AI summary] The blog post introduces Monad Transformers in functional programming, explaining their purpose, implementation, and applications in combining monadic effects.
| | www.inner-product.com
What Functional Programming Is, What it Isn't, and Why it Matters
18.1 parsecs away

Travel
| The core premise of functional programming, in my opinion, is that local reasoning and composition make for better code. Here I discuss what these terms mean and the benefits they bring.