|
You are here |
blog.jle.im | ||
| | | | |
markkarpov.com
|
|
| | | | | [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. | |
| | | | |
bartoszmilewski.com
|
|
| | | | | 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
|
|
| | | | | [AI summary] The blog post introduces Monad Transformers in functional programming, explaining their purpose, implementation, and applications in combining monadic effects. | |
| | | | |
argumatronic.com
|
|
| | | Occasional writings about Haskell. | ||