/explore
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
blog.sigfpe.com
[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. |
|
| | | | | ||
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
www.jeremykun.com
A lot of people who like functional programming often give the reason that the functional style is simply more elegant than the imperative style. When compelled or inspired to explain (as I did in my old post, How I Learned to Love Functional Programming), they often point to the three "higher-order" functions map, fold, and filter, as providing a unifying framework for writing and reasoning about programs. But how unifying are they, really? |
|
| | | | | ||
| | | | |
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. |
|
| | | |||
