Awesome Functional Programming

My personal adventurer's log in the land of functional programming.

Navigation:

• Books
• Courses
• Libraries
• Papers
• Talks
  • Idris
• Tutorials
  • Free Monads
  • Type Level Programming in Scala

Books

• Functional Programming in Scala by Paul Chiusano and Runar Bjarnason
  • A companion booklet to "Functional Programming in Scala" by Runar Bjarnason
• Clojure for the Brave and True by Daniel Higginbotham
• Purely Functional Data Structures by Chris Okasaki
  • New purely functional data structures published since 1998 via Stack Exchange
• Types and Programming Languages by Benajmin Pierce

Courses

• Scala Exercises - Open Source project for learning different technologies based on Scala.

Libraries

• cats - Lightweight, modular, and extensible library for functional programming.
  • eff-cats - Eff monad for cats.
• emm - A general monad for managing stacking effects.
• doobie - Principled database access for Scala.
• fetch - Simple & Efficient data access for Scala and Scala.js.
• freek - A freaky simple Free to combine your DSL seamlessly.
• hamsters - A mini Scala utility library.
• scalacaster - Purely Functional Algorithms and Data Structures in Scala.

Papers

• A Tutorial Introduction to the Lambda Calculus by Raul Rojas
• Extensible Effects - An Alternative to Monad Transformers by Oleg Kiselyov
• Freer Monads, More Extensible Effects by Oleg Kiselyov
• Generics of a Higher Kind by Adriaan Moors, Frank Piessens and Martin Odersky
• Fun with type functions by Oleg Kiselyov, Simon Peyton Jones and Chung-chieh Shan
• Induction is not derivable in second order dependent type theory by Herman Geuvers
• Propositions as Types by Philip Wadler

Talks

• Free monads and free applicatives by Markus Hauck
• The Eff monad, one monad to rule them all by Eric Torreborre
• Constraints Liberate, Liberties Constrain by Runar Bjarnason
• Roll your own Shapeless by Daniel Spiewak
• Propositions as Types by Philip Wadler
• Functional Programming is Terrible by Runar Bjarnason

Idris

• Type-driven development in Idris by Edwin Brady
• Idris: Type safe printf by Brian McKenna

Tutorials

• A Little Guide on Using Futures for Web Developers - 15 Sep 2015
• FP for the average Joe - II - ScalaZ Monad Transformers - 26 May 2015

Free Monads

• A Modern Architecture for FP - 28 Dec 2015
• Modern Functional Programming: Part 2 - 27 Sep 2016
• Understanding Free Monads - 28 May 2016
• Free Monads using FreeK - 30 May 2016

Type-Level Programming in Scala

• The Neophyte's Guide to Scala Part 12: Type Classes - 6 Feb 2013
• Demystifying Implicits and Typeclasses in Scala - 1 Oct 2015
• Type Level Programming in Scala - Step By Step - 19 Oct 2015
• Type-Level Programming in Scala - 8 Jun 2010