/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

 www.williamyaoh.com
Deriving the State monad from first principles | William Yao
| | markkarpov.com
Free monad considered harmful
2.3 parsecs away

Travel
| | [AI summary] A technical blog post arguing against the use of Free Monads in Haskell programming due to issues with inspection, efficiency, and composability, proposing Type Classes and Final Tagless Encoding as superior alternatives.
| | justinhj.github.io
Monad Transformers - the prelude to ZPure
3.4 parsecs away

Travel
| |
| | blog.cofree.coffee
A Brief Intro to Monad Transformers
2.9 parsecs away

Travel
| | [AI summary] The blog post introduces Monad Transformers in functional programming, explaining their purpose, implementation, and applications in combining monadic effects.
| | bartoszmilewski.com
Types and Functions | Bartosz Milewski's Programming Cafe
23.6 parsecs away

Travel
| This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Composition. See the Table of Contents. The category of types and functions plays an important role in programming, so let's talk about what types are and why we need them. Who Needs Types? There seems to be...