-
Functional Programming is Terrible - Rúnar Bjarnason
- Trampolining, Higher Kinded Types, Benefits of FP
-
Functional Design Patterns - Scott Wlaschin
- Functionnal design patterns
-
Functional Patterns in Domain Modeling — Debasish Ghosh
- Functionnal domain modeling
-
- FP design
-
Constraints Liberate, Liberties Constrain — Runar Bjarnason
- FP design
-
What Referential Transparency can do for you - Luka Jacobowitz
- Regaining Control with State Monad and Friends
- State, StateT, IndexedState
-
Free monad or tagless final? How not to commit to a monad too early - Adam Warski
- Free monads, Tagless final
-
Move Over Free Monads: Make Way for Free Applicatives! — John de Goes
- Free applicatives
-
Advanced Tagless Final - Saying farewell to Free - Luka Jacobowitz
- Free monad, tagless final
-
Free as in Monads by Daniel Spiewak
- Free monad
-
Monad transformers down to earth - Gabriele Petronella
- Monad transformer
-
The Eff monad, one monad to rule them all - Eric Torreborre
- Eff monad
-
Monad Stacks or: How I Learned to Stop Worrying and Love the Free Monad – Harry Laoulakos
- Monad stacks
-
Freestyle, Free & Tagless: Separation of Concerns on Steroids - Michał Płachta
- Free and tagless in a real application
-
A roadtrip with monads: from MTL, through tagless, to BIO - Paweł Szulc
- MTL style
-
GETTING MORE MILEAGE FROM YOUR MONADS WITH MTL - Paweł Szulc
- MTL style
-
A Year living Freely – Chris Myers
- Free monad
-
Mastering Typeclass Induction — Aaron Levin
- Typeclasses
-
Oh, all the things you'll traverse - Luka Jacobowitz
- Traverse
-
Pure Functional Database Programming with Fixpoint Types — Rob Norris
- Fixpoint, Recursion schemes
-
Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali
- Recursion schemes
-
Category Theory for the Working Hacker - Philip Wadler
- Category theory
-
Propositions as Types - Philip Wadler
- Realtion between logic and computation
-
Category Theory - Bartosz Milewski
- Category theory playlist
-
- Scala type system
-
Trampolining and stack safety in Scala
- Trampolining, tail call elimination
-
Free and tagless compared - how not to commit to a monad too early
-
Exploring Tagless Final pattern for extensive and readable Scala code
-
Gist about Fabio Labella's on inital vs final tagless encodings
-
Functional Programming for Mortals (Not red yet)
-
Co-recursive (never tried yet)