/explore
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
jao.io
|
|
| | | | | ||
| | | | |
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? | |
| | | | |
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. | |
| | | | |
johnazariah.github.io
|
|
| | | A post about how the foundations of functional programming have neat effects on real-life programming | ||
