BerthelotAnthony/fp-resources

Functional programming great resources

Curated list of great functional programming resources (mainly Scala or Haskell based)

Categories

• Functional programming patterns
• Types
• Functional Effects
• Semigroup / Monoid
• Tagless Final / MTL
• Monad stack
• Free Monad
• Typeclass
• Concurrency
• Optics
• Recursion Schemes
• Theory
• Academic papers
• Lectures
• Blogs
• Books
• Chat rooms
• Newsletters
• Podcasts
• Repositories
• Events

Functional Programming Patterns

Talks

• Functional Programming is Terrible - Rúnar Bjarnason

  • Tail Recursion, Trampolining, Higher Kinded Types, Benefits of Functional Programming

• What Referential Transparency can do for you - Luka Jacobowitz

  • Functional Programming Design, Referential Transparency and side-effects

• Functional Design Patterns - Scott Wlaschin

  • Functional design patterns from partial application to Monads and Monoids

• FP to the Max - John De Goes

  • Live coding session on Functional Programming design and techniques

• Constraints Liberate, Liberties Constrain — Runar Bjarnason

  • Functional Programming design

• May Your Data Ever Be Coherent

  • Functional Programming design

• Functional Patterns in Domain Modeling — Debasish Ghosh

  • Functional domain modeling

• Thinking Functionally

  • Live-refactor concurrent imperative program with ZIO

• Functors, in theory and in practice! - Martin Menestret

  • Functors

Articles

• Anatomy of functional programming

  • Functional Programming design

• Data Modeling in FP vs OOP

  • Functional Programming design

• Scala best practices

  • List of good practice in Scala

• Trampolining and stack safety in Scala

  • Trampolining, tail call elimination

• Algebraic API Design - Types, Functions, Properties

  • Types, Functions, Properties

• Anatomy of an algebra

  • Algebraic Data Type (ADT)

• A journey from imperative OO to pure functional programming

Types

Talks

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

  • Domain Algebra, Algebraic structure

• Type Members vs Type Parameters

  • How to choose between Type Members and Type Parameters

Articles

• Scala’s Types of Types

  • Scala Type System

• Types: Never commit too early

  • Function encodings

• Kinds of types in Scala

  • Type Theory in Scala

• From Type Theory to Haskell in 10 Minutes [Haskell]

  • Type Theory in Haskell

• Practical Type Safety

  • Using Scala in a Type Safe way

• Functional APIs: an OOP approach to FP

  • Generalized Algebraic Data Types (GADTs)

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

  • Algebraic Data Types (ADTs)

• Data type vs Data constructor [Haskell]

  • What are data types and data constructors, how they relate in Haskell

Functional Effects

Talks

• Functional Programming with Effects - Rob Norris

  • Effects and Equational Reasoning

• The Death of Final Tagless

  • Functional Effects, Tagless Final alternative with ZIO

• The Making of an IO - Daniel Spiewak

  • IO Monad with Cats Effect

• http4s: pure, typeful, functional HTTP in Scala – Ross Baker

  • IO, HTTP4s, Kleisli

• Declarative Control Flow with fs2 Stream – Fabio Labella

  • Functional Stream with fs2

• Regaining Control with State Monad and Friends

  • State, StateT, IndexedState

• Michał Płachta - Fast & Functional

  • FP design, tagless final, performance

• Gabriel Volpe - Cats Effect: The IO Monad for Scala

  • Cats Effect, error handling, safe resource management, concurrency, parallelism

• John De Goes - Error Management: Future vs ZIO

  • Errors composition, ZIO, Future

Articles

• IO monads, Tagless final, free and alternatives

  • IO, Tagless final, Free, Eff

• ZIO Monad, Scala's ReaderT pattern

  • Functional Effects, Tagless Final, ReaderT

• Effekt: Extensible Algebraic Effects in Scala

  • Algebraic effects, Scala library Effekt

• Handle pattern [Haskell]

  • Modularize Effectful layer of medium to large scaled Haskell applications

• ReaderT pattern: RIO [Haskell]

  • Better globals with ReaderT

• Why Functional Programming? It's the composition

  • Compositions, Effects, Functor, Monad, Category Theory

• A Problem With I/O [Haskell]

  • Monad IO in Haskell

Semigroup / Monoid

Talks

Articles

• A tale on Semirings

  • Journey to Semirings through Semigroups and Monoids

• Anatomy of semigroups and monoids

  • Semigroups and Monoids

Tagless Final / MTL

Talks

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

  • Free Monad, Tagless Final

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

  • MTL, Tagless Final, BIO

• Getting more mileage from your monads and MTL - Paweł Szulc

  • MTL style

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

  • Live coding session on Free monads and Tagless Final

• Freestyle, Free & Tagless: Separation of Concerns on Steroids - Michał Płachta

  • Free and Tagless in a real application

Articles

• Introduction to Tagless final

  • Tagless Final

• Exploring Tagless Final pattern for extensive and readable Scala code

  • Tagless Final

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

  • Tagless Final

• Testing tagless final with Discipline

  • Tagless Final with the Typelevel library Discipline

• Structuring Functional Programs with Tagless Final

  • Tagless Final

• Typed tagless-final interpretations: Lecture notes

  • Tagless Final

• Optimizing Tagless Final – Saying farewell to Free

  • Tagless Final

• From Object Algebras to Finally Tagless Interpreters [Haskell]

  • Tagless Final

• Intro to MTL

  • MTL style

• Typed tagless-final interpretations [Haskell]

  • Typed Tagless Final embeddings of Domain-Specific Languages (DSLs)

• Finally Tagless - Not Quite Dead Yet

  • Tagless Final, code examples

• The False Hope of Managing Effects with Tagless-Final in Scala

Monad stack

Talks

• 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

Articles

• Monad transformer variance

  • Monad Transformer

• Monadic EDSLs in Scala

  • (EDSLs) Embedded domain specific languages

• EDSLs as functions

  • (EDSLs) Embedded domain specific languages

Free Monad

Talks

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

  • Live coding session on Free monads and Tagless Final

• Freestyle, Free & Tagless: Separation of Concerns on Steroids - Michał Płachta

  • Free and Tagless in a real application

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

  • Free Applicatives

• A Year living Freely – Chris Myers

  • Free Monad

• Free as in Monads by Daniel Spiewak

  • Live coding session on Free Monad

Articles

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

  • Free Monad and Tagless Final

• Free Monoids and Free Monads

  • Free structure with Monoids and Monads

• A tale of two Monads: Free vs MTL

  • Free Monad vs MTL style

• A tale of two Monads: Free vs MTL

  • Journey through Free and MTL style

Typeclass

Talks

• Mastering Typeclass Induction — Aaron Levin

  • Inductions and Typeclasses

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

  • Traversable Typeclass, starting with folds all the way to Monoids and Traversable Functors

• Type class, ultimate ad hoc

  • Parametric and ad hoc polymorphism, Typeclasses

Articles

• Anatomy of a type class

  • Typeclasses, Polymorphic functions

• Type classes in Scala

  • Typeclasses

• Implicits, type classes, and extension methods

  • Implicits and Typeclasses

• Typeclasses in perspective [Haskell]

  • Typeclasses, Extensibility, Conditional implementation, Polymorphism

• Inheritance vs Generics vs Typeclasses in Scala

  • Parametric Polymorphism (generics) and Typeclasses

• Typeclass counterexample [Haskell]

  • Typeclasses

• OOP vs. FP. The pursuit of extensibility

  • Typeclasses

Concurrency

Talks

• Concurrency with Cats-effect - Michael Pilquist

  • fiber, Cats Effects, fs2

• ATOMICALLY { DELETE YOUR ACTORS } - John A De Goes & Wiem Zine Elabadine

  • ZIO, STM, Promise, Queue and more

Articles

Optics

Talks

• Beyond Scala Lenses — Julien Truffaut
  • Lenses

Articles

Recursion schemes

Talks

• 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

  • Hylomorphisms, Expressive Schemes

• Going bananas with recursion schemes for fixed point data types - Paweł Szulc

  • Catamorphism, Fixpoint data type, Matryoshka

Articles

• Recursion training
  • Resources and examples on Recursion Schemes

Theory

Talks

• Propositions as Types - Philip Wadler

  • Relation between Logic and Computation

• A History of Computation, Logic and Algebra

  • Logic, Algebra and Category Theory

• Crash course into category theory - Rúnar Bjarnason

  • Category Theory

• Category Theory for the Working Hacker - Philip Wadler

  • Category Theory

• Category Theory - Bartosz Milewski

  • Category Theory playlist

• Stephen Pimentel - Propositions as Types for Beginners in Haskell [Haskell]

  • Curry-Howard isomorphism

• Why a monad is a monoid in the category of endofunctors

  • Functor, Natural Transformation, Bifunctor, Monoidal Category, Monoid, Monad

Articles

• Proof and types

  • Type Theory

• Category theory and programming

  • Category theory

• Category theory material

  • Category theory

• Sequent calculus tutorial

  • Category theory

• A History of Computation, Logic and Algebra

  • Logic, Algebra and Category Theory

• Anatomy of functors and category theory

  • Functors and Category Theory

• Why do monads matter ?

  • Monad and Category Theory

Academic papers

• Theorems for Free! - P. Wadler

  • Polymorphic function, Abstraction Theorem

• Propositions as types - P. Wadler

  • Type Theory, Programming Language

• Freer Monads, More Extensible Effects [Haskell]

  • Extensible Effects

• Data types a la carte [Haskell]

  • Assembling Data Types and functions

• Why Functional Programming Matters - John Hughes

  • High-Order Functions (HOFs) and Lazy Evaluation

• Algebraic effects for Functional Programming

  • Algebraic Effects, Type Inference, compilation scheme

Lectures

• FP Foundation - Julien Truffaut

  • Scala course, Functional programming

• Goteborg university - Haskell advanced Functional Programming [Haskell]

  • Haskell course

• Data61 Haskell functional programming course [Haskell]

  • Haskell, Functional programming course

• Google's Haskell 101 and 102 [Haskell]

  • Haskell, Functional programming, beginner friendly

• Teaching Tech Together

  • Creating good tech teaching resources

Blogs

• The morning papers

• Typelevel

• SoftwareMill

• J. De Goes

• Runar

• Habla

• Li Haoyi

• Kubuszok

• FP Complete [Haskell]

• Yann Esposito

• Mine ! :D

• Blog: reasonably polymorphic

• Fabio Labella writings

Books

• Functional Programming in Scala

• Functional and Reactive Domain Modeling

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

• Functional Programming for Mortals

• Category theory for programmers

  • Haskell
  • Scala

• A History of Computation, Logic and Algebra

• The Books of Monads [Scala] [Haskell]

Chat rooms

• Scala FR gitter

• Typevel General gitter

• Cats gitter

• Functional programming Slack

Newsletters

• Scalatimes

• Awesome Scala

Podcasts

• Functional Geekery

• Co-recursive

• FP podcast list

Repositories

• Scala pet store

  • Http4s, Circe, Doobie, Cats, Cats Effects, ScalaCheck, Circe Config, Tagless Final

• Befunge-93

  • Cats, Cats Effetcs, fs2, Tagless Final

• Scala typeclassopedia

  • Patterns from math (Category theory, Abstract algebra) in Scala

Events

• Upcomming events - Signify technology

• Upcoming events - Scala lang

• IT conferences Call For Papers list - SoftwareMill

Special thanks

Thanks to @olivierschultz who helps me maintain that list !