User Experience on mobile might not be great yet, but I'm working on it.

Your first time on this page? Allow me to give some explanations.

Awesome Functional Programming

A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.

Here you can see meta information about this topic like the time we last updated this page, the original creator of the awesome list and a link to the original GitHub repository.

Last Update: Nov. 30, 2020, 12:17 a.m.

Thank you lucasviola & contributors
View Topic on GitHub:
lucasviola/awesome-functional-programming

Search for resources by name or description.
Simply type in what you are looking for and the results will be filtered on the fly.

Further filter the resources on this page by type (repository/other resource), number of stars on GitHub and time of last commit in months.

Blog posts

Papers

Wikis

A wiki-lab with articles, discussion and tools from the point of view of category theory, which is the main math behind FP.

A good overview on Category Theory applied to Haskell from Wikibooks.

Books

A book focused on teaching types, recursive thinking and other important subjects in Standard ML.

Introduces you to programming design in a very mathematical way.

Second Edition](http://www.ccs.neu.edu/home/matthias/HtDP2e/)

the perfect second book on Haskell which dives into examples and application scenarios designed to teach how Haskell works and how to apply it correctly.

teaches functional programming from first principles. It uses JavaScript for all code examples and it uses real-world scenarios. By Eric Normand (2019)

Communities

Community focused on discussing researches, papers

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: School of Haskell

The meeting point for Haskell Programmers

Russian Elixir community

Discussions (Quora, Stack Overflow, Reddit, etc)

Videos

Lectures

Tools

Generic proof assistant based on Higher Order Logic

Repos

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

169
24
6y 6m
BSD-3-Clause

A functional javascript workshop. No libraries required (i.e. no underscore), just ES5.

1.94K
436
4y 16d
n/a
332
50
10m
BSD-2-Clause

Huge list of videos, talks, courses for Haskell programming language.

1K
58
3y 45d
MIT

Jargon from the functional programming world in simple terms!

13.84K
810
68d
MIT

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

521
25
11d
n/a

🔍 A step-by-step guide to parsing using Haskell parser combinators.

48
1
1y 4m
BSD-3-Clause

Code, corrections and info on the book: Introduction to Programming using SML

People

One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.

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.

Author of many books such as How to Design Programs, and The Little Schemer.

Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.

Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F#