awesome-functional-programming
github.com/lucasviola/awesome-functional-programming ↗:alien: A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me lectures resources from awesome-functional-programming"
Installation instructions →What's inside
Lectures
- Adventure with types in Haskell - Simon Peyton Jones
Lectures about Haskells strong Type System by Simon Peyton Jones.
- C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals
Series of Lectures from one of the creators of Haskell
- The Algebra of Algebraic Data Types
Very good explanation on the relationship between math and Algebraic Data Types, which is the Type System of some very common FP Languages such as Haskell and ML.
Blog posts
Repos
- Bow
Companion library for Typed Functional Programming in Swift.
- Functional Javascript Workshop
A functional Javascript workshop.
- Functional Programming In JavaScript
List of functional programming resources in JavaScript.
- Functional Programming Jargon
Project for providing a glossary for FP, and make learning FP easier.
- Functional Programming Learning Path
A Learning Path for Functional Programming
- Haskell Must Watch
A list of videos, talks and courses on Haskell.
People
- Brian Beckman
Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F#
- Erik Meijer
Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.
- Matthias Felleisen
Author of many books such as How to Design Programs, and The Little Schemer.
- Philip Wadler
Professor of Theoretical Computer Science at the University of Edinburgh, author of the famous paper Propositions as Types. One of the main people behind Java Generics Types.
- Simon Peyton Jones
One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.
Videos
- Brian Beckman: The Zen of Stateless State
- Dont fear the Monad
Explanation on one of the most obscure topics of Functional Programming by Microsoft researcher Brian Beckman.
- Do we really need OOD and FDD?
Functional Declarative Design (FDD) opposed to Object-Oriented Design (OOD
- Erik Meijer: Functional Programming
- Functional Programming with TypeScript
Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist.
- Haskell is useless
Simon Peyton Jones being just too humble about his creation.
Books
- Elixir in Action, Third Edition
Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability.
- F# in Action
Book about practical F# development skills needed to create professional applications.
- Functional Design and Architecture
Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages.
- Functional Programming in C#, Second Edition
Real world examples and practical techniques for functional programming in C#.
- Functional Programming in Kotlin
Master techniques and concepts of functional programming to deliver safer, simpler, and more effective Kotlin code.
- Functional Programming in Scala, Second Edition
International bestseller revised with new exercises, annotations, and full coverage of Scala 3.
Communities
- ElixirLangMoscow
Russian Elixir community
- FP Complete
Community focused on helping companies and students on learning and implementing Functional Programming in Haskell. Hosters of one of the most famous Haskell learning centers:
- Haskellers
The meeting point for Haskell Programmers
- Lambda the Ultimate
Community focused on discussing researches, papers and hot topic on academia. Very high tech discussion level.
Papers
- From Higher-Order Logic to Haskell: There and Back Again
- Sound and Decidable Type Inference for Functional Dependencies
Another very famous paper on Type Inference by the main creator of Haskell and GHC
- Template Meta-Programming for Haskell
Paper about generating code at compile-time in Haskell
- The implementation of Functional Programming Languages
A paper by Simon Peyton Jones
- Tradeoffs between Unique Types and Monads
- Translating Haskell to Isabelle
Showing a sample of 73 resources. View the full list on GitHub →