Curated list of great Scala oriented (but not always) Functionnal Porgramming ressources

Talks

• 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

• Functional Programming with Effects - Rob Norris

  • Effects

• The Making of an IO - Daniel Spiewak

  • IO

• Free monad or tagless final? How not to commit to a monad too early - Adam Warski

  • Free monads, Tagless final

• Mastering Typeclass Induction — Aaron Levin

  • Typeclasses

• Beyond Scala Lenses — Julien Truffaut

  • Optics

• FP to the Max - John De Goes

  • FP design

• Move Over Free Monads: Make Way for Free Applicatives! — John de Goes

• Oh, all the things you'll traverse - Luka Jacobowitz

  • Traverse

• Advanced Tagless Final - Saying farewell to Free - Luka Jacobowitz

  • Free monad, tagless final

• Constraints Liberate, Liberties Constrain — Runar Bjarnason

  • FP design

• Free as in Monads by Daniel Spiewak

  • Free monad

• Pure Functional Database Programming with Fixpoint Types — Rob Norris

  • Fixpoint

• Category Theory for the Working Hacker - Philip Wadler

  • Category theory

• Propositions as Types - Philip Wadler

  • Realtion between logic and computation

• Monad transformers down to earth - Gabriele Petronella

  • Monad transformer

• The Eff monad, one monad to rule them all - Eric Torreborre

  • Eff monad

• Category Theory - Bartosz Milewski

  • Category theory playlist

• 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

• A roadtrip with monads: from MTL, through tagless, to BIO - Paweł Szulc

• GETTING MORE MILEAGE FROM YOUR MONADS WITH MTL - Paweł Szulc

• A Year living Freely – Chris Myers

Articles

• Trampolining and stack safety in Scala

  • Trampolining, tail call elimination

• Introduction to Tagless final

• Free and tagless compared - how not to commit to a monad too early

• Type classes in Scala

• Functional APIs: an OOP approach to FP

• Types: Never commit too early

• Implicits, type classes, and extension methods

• Free Monoids and Free Monads

• Kinds of types in Scala

• Monadic EDSLs in Scala

• Data Modeling in FP vs OOP

Academic papers

• The morning papers

• Theorems for Free! - P. Wadler

• Propositions as types - P. Wadler

• Freer Monads, More Extensible Effects

• Data types a la carte

• Why Functional Programming Matters - John Hughes

Blogs

• Typelevel

• SoftwareMill

• J. De Goes

• Runar

• Habla

• Li Haoyi

Books

• Fonctional Programming in Scala

• Functional and Reactive Domain Modeling

• https://underscore.io/books/scala-with-cats/

• Functional Programming for Mortals (Not red yet)

To read

• EDSLs

• Practical Type Safety