https://abaj.ai/tags/monads/Recent content in Monads on Aayush Bajaj's Augmenting InfrastructureHugoen© 2026 Aayush BajajFri, 10 Jul 2026 08:15:51 +1000https://abaj.ai/wiki/ccs/programming/paradigms/functional/Fri, 10 Jul 2026 01:43:39 +1000https://abaj.ai/wiki/ccs/programming/paradigms/functional/<p>unlike its siblings on this branch of the wiki — <a href="https://abaj.ai/wiki/ccs/programming/paradigms/linear/" >linear</a>, <a href="https://abaj.ai/wiki/ccs/programming/paradigms/quadratic/" >quadratic</a>, <a href="https://abaj.ai/wiki/ccs/programming/paradigms/integer/" >integer</a> — this &ldquo;programming&rdquo; really is about writing programs. functional programming is the discipline of building software out of <em>expressions that are evaluated</em> rather than <em>statements that are executed</em>: no assignment, no mutation, no time. what remains is algebra, and algebra is something you can reason about.<span class="margin-note" data-note="sicp is the canonical sermon: https://mitpress.mit.edu/9780262510875/ — and learn you a haskell the friendliest hymnal: https://learnyouahaskell.github.io"> <span class="margin-note-indicator">𐃏</span> </span> </p>