/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

 bartoszmilewski.com
Free Monoidal Functors | Bartosz Milewski's Programming Cafe
| | cronokirby.com
Categorical Graphs - Cronokirby
2.5 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | blog.sigfpe.com
A Neighborhood of Infinity: From Monoids to Monads
2.3 parsecs away

Travel
| | [AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code.
| | jao.io
programmers go bananas
2.2 parsecs away

Travel
| |
| | www.chriswarbo.net
State, Effects and Monads in Functional Programming and Haskell
14.5 parsecs away

Travel
| [AI summary] A discussion thread clarifying misconceptions about state, the IO monad, and functional purity in Haskell by explaining how the language represents imperative programs as pure data structures.