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.
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
A walk through some practical use cases for specific monadic structures in JavaScript: use the Maybe
monad to handle simple failure cases and model more complex scenarios with the Either
monad or the Validation
applicative functor.
Papers
A paper by Simon Peyton Jones
Another very famous paper on Type Inference by the main creator of Haskell and GHC
Paper about generating code at compile-time in Haskell
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 on implementing logical formalisms in Isabelle/HOL.
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
Discussions (Quora, Stack Overflow, Reddit, etc)
Videos
LiveVideo course about Kotlin: functional programming, object orientation and building an Android app in Kotlin.
Lectures
Series of Lectures from one of the creators of Haskell
Lectures about Haskells strong Type System by Simon Peyton Jones.
Very good explanation
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.
A functional javascript workshop. No libraries required (i.e. no underscore), just ES5.
Huge list of videos, talks, courses for Haskell programming language.
Jargon from the functional programming world in simple terms!
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
🔍 A step-by-step guide to parsing using Haskell parser combinators.
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#