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:
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.
Maybe monad to handle simple failure cases and model more complex scenarios with the
Either monad or the
Validation applicative functor.
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
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.
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.
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.
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)
Series of Lectures from one of the creators of Haskell
Lectures about Haskells strong Type System by Simon Peyton Jones.
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.
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.
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.