Lectures about Haskells strong Type System by Simon Peyton Jones.
Companion library for Typed Functional Programming in Swift.
Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F#
Series of Lectures from one of the creators of Haskell
Functional Declarative Design (FDD) opposed to Object-Oriented Design (OOD
Explanation on
Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability.
Russian Elixir community
Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.
Book about practical F# development skills needed to create professional applications.
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
Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages.
A functional Javascript workshop.
Real world examples and practical techniques for functional programming in C#.
List of functional programming resources in JavaScript.
Master techniques and concepts of functional programming to deliver safer, simpler, and more effective Kotlin code.
International bestseller revised with new exercises, annotations, and full coverage of Scala 3.
Project for providing a glossary for FP, and make learning FP easier.
A Learning Path for Functional Programming
Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist.
Introduction to functional programming.
Teaches functional programming from first principles using real-world scenarios.
In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges.
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.
Simon Peyton Jones being
A list of videos, talks and courses on Haskell.
A good overview on Category Theory applied to Haskell from Wikibooks.
The meeting point for Haskell Programmers
Project for teaching Idris. A General Purpose Functional Programming with Dependent Types
Code, corrections and info on the book: `Introduction to Programming using SML`
Introduces you to programming design in a very mathematical way.
Generic proof assistant based on Higher Order Logic
A Book on implementing logical formalisms in Isabelle/HOL.
The proof assistant from the book `The Little Prover`
A book about The JAX numerical computing library.
LiveVideo course about Kotlin: functional programming, object orientation and building an Android app in Kotlin.
Community focused on discussing researches, papers
Automate complex tasks and processes with PowerShell scripts.
Book, but you can read it online for free as well. Very beginner friendly.
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.
Author of many books such as How to Design Programs, and The Little Schemer.
A wiki-lab with articles, discussion and tools from the point of view of category theory, which is the main math behind FP.
A step-by-step guide to parsing using Haskell parser combinators.
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.
One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.
Another very famous paper on Type Inference by the main creator of Haskell and GHC
Paper about generating code at compile-time in Haskell
Very good explanation
A paper by Simon Peyton Jones
A book focused on teaching types, recursive thinking and other important subjects in Standard ML.
Talks about