awesome-functional-studies
github.com/lambda-study-group/awesome-functional-studies ↗A curated list of functional programming resources to study the fp paradigm
183
GitHub Stars
219
Curated Resources
18
Categories
2 hours ago
Last Refreshed
ParadigmLambda Calculus-CombinatorsTheoryJavascriptHaskellScalaSMLOCamlErlangElixirRubyElmSchemeCommon LispClojureClojureScriptIdrisReasonML
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me blog posts resources from awesome-functional-studies"
Installation instructions →What's inside
Idris
- 10 things Idris improved over HaskellBlog posts
- Gentle Introduction to Dependent Types with IdrisBooks
- Idris: Practical Dependent Types with Practical Examples — Brian McKennaTalks
- Programming and Reasoning w/ Algebraic Effects and Dependent TypesPapers
- Programming and Reasoning w/ Side-Effects in IdrisPapers
- Software FoundationsBooks
Elixir
Clojure
Haskell
- Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
Simon Peyton Jones (Lecture 1)
- A Totally Non-Terrifying, Practical Introduction to Type-Level Programming
- Category Theory
- Functional Programming in Haskell
- FUNCTIONAL PROGRAMMING - University of Edinburgh
University of Edinburgh
- Grupo de Estudos de Haskell (UFABC)
Javascript
- A Gentle Introduction to Functional JavaScript
- A Monad in Practicality: First-Class Failures
- An Intro to Functional Programming Concepts in JavaScript
- Anjana Vakil: Immutable data structures for functional JS | JSConf EU 2017
JSConf EU 2017
- Anjana Vakil: Learning Functional Programming with JavaScript - JSUnconf 2016
JSUnconf 2016
- Church Encoding in JS
Lambda Calculus-Combinators
Paradigm
- Algoritmos Funcionais
- A Proof Assistant for Higher-Order Logic
- awesome functional programming
- C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals
Functional Programming Fundamentals
- Coding Tech - Functional Programming
Functional Programming
- Erik Meijer: Functional Programming
Showing a sample of 219 resources. View the full list on GitHub →