jborkowski/fp-resources

Functional programming great ressources

Curated list of great Scala oriented (but not always) Functional Programming resources

Talks

FP in general

• 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 to the Max - John De Goes

  • FP design

• Constraints Liberate, Liberties Constrain — Runar Bjarnason

  • FP design

• What Referential Transparency can do for you - Luka Jacobowitz

ADT

• Why do Functional Programmers always talk about Algebra(s)?

Effects

• Functional Programming with Effects - Rob Norris

  • Effects

• The Making of an IO - Daniel Spiewak

  • IO

State

• Regaining Control with State Monad and Friends
  • State, StateT, IndexedState

Free Monad / Tagless final and monad stacks

• 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

Typeclass

• Mastering Typeclass Induction — Aaron Levin

  • Typeclasses

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

  • Traverse

Optics

• Beyond Scala Lenses — Julien Truffaut
  • Optics

Recursion schemes

• Pure Functional Database Programming with Fixpoint Types — Rob Norris

  • Fixpoint, Recursion schemes

• Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali

  • Recursion schemes

• THOSE 10000 CLASSES I NEVER WROTE - Valentin Kasas

Theory

• 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

Articles

• Anatomy of an algebra

• Anatomy of a type class

• Scala’s Types of Types

  • Scala type system

• 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

• Kinds of types in Scala

• Exploring Tagless Final pattern for extensive and readable Scala code

• Gist about Fabio Labella's on inital vs final tagless encodings

• Intro to MTL

• How do Algebraic Data types compare to the concept of inheritance in Object Oriented Languages ?

• Typeclasses in perspective

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

• Typed tagless-final interpretations: Lecture notes

Blogs

• Typelevel

• SoftwareMill

• J. De Goes

• Runar

• Habla

• Li Haoyi

• Kubuszok

• FP Complete

  • Haskell

• Mine ! :D

Books

• Functional Programming in Scala

• Functional and Reactive Domain Modeling

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

• Functional Programming for Mortals (Not red yet)

• Category theory for programmers (Not red yet)

Chat rooms

• Scala FR gitter

• Cats gitter

• Functional programming Slack

Newsletters

• Scalatimes

• Awesome Scala

Podcasts

• Functional Geekery

• Co-recursive (never tried yet)

To do... (stuff to read / watch)

• Practical Type Safety

• Typed tagless-final interpretations: Lecture notes

• Exploring Tagless Final pattern for extensive and readable Scala code

• Recursion training

• Optimizing Tagless Final – Saying farewell to Free

• From Object Algebras to Finally Tagless Interpreters

• Algebraic effect

• Algebraic effect - Microsoft

• Monad transformer variace

• Typeclass counterexample

• Category theory material

• Type class, ultimate ad hoc

• Sequent calculus tutorial

• Why do monads matter ?

• A tale of two Monads: Free vs MTL

• A tale on Semirings