cs/functional-programming.
- Copatterns
- Controlling Copatterns: There And Back Again
- Zippers: Making Functional "Updates" Efficient
- List is a monad (part 1)
- What is Algebraic about Algebraic Effects?
- Property-Based Testing of OCaml 5's Runtime System - Midtgaard:OLIVIERFEST25.pdf
- Type Theory & Functional Programming
- Functors, Applicatives, And Monads In Pictures
- Of Course ML Has Monads!
- Monads are not like burritos
- Demystifying monads in Rust through property-based testing
- Total functions and beyond
- Lambda Calculus and Lisp, part 1
- Algebraic effects are a functional approach to manage side effects
- fold-… and monoids
- I Don’t Use Monads
- The Monads Hurt My Head — But Not Anymore
- williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.
- Megaparsec tutorial
- You probably wrote half a monad by accident – Andy G's Blog
- Lensy Moore
- Agda by Example: λ-calculus
- Higher-kinded Bounded Polymorphism
- William Cotton
- A Dictionary of Single-Letter Variable Names | Blog | jackkelly.name