awesome-functional-programming

Despite the name, this post actually clarifies some baisc concepts on Functional Programming, explains some of the History of FP and the implementation of FPs features on imperative languages and talks about all the fuss on declarative programming and why it has become so popular in the last few years

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

Book, but you can read it online for free as well. Very beginner friendly

Talks about a theorem prover called JBob for writing proofs in LISP

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

Teaches functional programming from first principles using real-world scenarios

International bestseller revised with new exercises, annotations, and full coverage of Scala 3

Real world examples and practical techniques for functional programming in C#

Introduction to functional programming

Master techniques and concepts of functional programming to deliver safer, simpler, and more effective Kotlin code

Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages

In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges

If you are from an imperative and OOP background, this book will guide you through the world of functional programming, irrespective of which programming language you use

A book about The JAX numerical computing library

Automate complex tasks and processes with PowerShell scripts

Book about practical F# development skills needed to create professional applications

Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability

Community focused on discussing researches, papers and hot topic on academia. Very high tech discussion level

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:

The meeting point for Haskell Programmers

Russian Elixir community

Explanation on one of the most obscure topics of Functional Programming by Microsoft researcher Brian Beckman

Simon Peyton Jones being just too humble about his creation

LiveVideo course about Kotlin: functional programming, object orientation and building an Android app in Kotlin

Functional Declarative Design (FDD) opposed to Object-Oriented Design (OOD

Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist

Series of Lectures from one of the creators of Haskell

Lectures about Haskells strong Type System by Simon Peyton Jones

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

Generic proof assistant based on Higher Order Logic

Idris Koans

Project for teaching Idris. A General Purpose Functional Programming with Dependent Types

Functional Javascript Workshop

A functional Javascript workshop

J-Bob

The proof assistant from the book

Haskell Must Watch

A list of videos, talks and courses on Haskell

Code, corrections and info on the book:

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

Bow

Companion library for Typed Functional Programming in Swift

Parsing With Haskell Parser Combinators

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

A Learning Path for Functional Programming

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#