Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-functional-programming
:alien: A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.
https://github.com/lucasviola/awesome-functional-programming
Last synced: 1 day ago
JSON representation
-
What is this about?
-
Table of Contents
-
Blog posts
- Personal thoughts on the current functional programming bandwagon
- A Monad in Practicality - Controlling Time
- A Monad in Practicality - First Class Failures
- How to desugar Haskell Code
- Functors, Applicatives, And Monads In Pictures
- Monads Made Difficult
- Your easy guide to Monads, Applicatives, & Functors
- How to leverage functional programming in Kotlin to write better, cleaner code
- A Monad in Practicality - First Class Failures
- Async Streams in C#
-
Papers
- Tradeoffs between Unique Types and Monads
- The implementation of Functional Programming Languages - A paper by Simon Peyton Jones
- Sound and Decidable Type Inference for Functional Dependencies - Another very famous paper on Type Inference by the main creator of Haskell and GHC
- Template Meta-Programming for Haskell - Paper about generating code at compile-time in Haskell
- Why Functional Programming Matters
- From Higher-Order Logic to Haskell: There and Back Again
- Translating Haskell to Isabelle
- From Higher-Order Logic to Haskell: There and Back Again
- Sound and Decidable Type Inference for Functional Dependencies - Another very famous paper on Type Inference by the main creator of Haskell and GHC
- Template Meta-Programming for Haskell - Paper about generating code at compile-time in Haskell
-
Wikis
- nLab - A wiki-lab with articles, discussion and tools from the point of view of category theory, which is the main math behind FP.
- Haskell/Category Theory - A good overview on Category Theory applied to Haskell from Wikibooks.
- Haskell Wiki
-
Books
- Learn you a Haskell - Book, but you can read it online for free as well. Very beginner friendly.
- The Little Prover - Talks about
- Isabelle/HOL - A Proof Assistant for Higher-Order Logic - A Book on implementing logical formalisms in Isabelle/HOL.
- The Little MLer - A book focused on teaching types, recursive thinking and other important subjects in Standard ML.
- Introduction to Programming using SML - Introduces you to programming design in a very mathematical way.
- How to Design Programs
- Introduction to Functional Programming
- Haskell in Depth - 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.
- Grokking Simplicity: Taming complex software with functional thinking - Teaches functional programming from first principles using real-world scenarios.
- Functional Programming in Scala, Second Edition - International bestseller revised with new exercises, annotations, and full coverage of Scala 3.
- Functional Programming in C#, Second Edition - Real world examples and practical techniques for functional programming in C#.
- Grokking Functional Programming - Introduction to functional programming.
- Functional Programming in Kotlin - Master techniques and concepts of functional programming to deliver safer, simpler, and more effective Kotlin code.
- Functional Design and Architecture - Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages.
- Haskell Bookcamp - In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges.
- Mastering Functional Programming - 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.
- Jax in Action - A book about The JAX numerical computing library.
- Learn PowerShell Scritping in a Month of Lunches - Automate complex tasks and processes with PowerShell scripts.
- F# in Action - Book about practical F# development skills needed to create professional applications.
- Elixir in Action, Third Edition - Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability.
- Isabelle/HOL - A Proof Assistant for Higher-Order Logic - A Book on implementing logical formalisms in Isabelle/HOL.
-
Communities
- Lambda the Ultimate - Community focused on discussing researches, papers
- FP Complete - 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](https://www.schoolofhaskell.com/school)
- Haskellers - The meeting point for Haskell Programmers
- ElixirLangMoscow - Russian Elixir community
-
Discussions (Quora, Stack Overflow, Reddit, etc)
-
Videos
- Dont fear the Monad - Explanation on
- Haskell is useless - Simon Peyton Jones being
- Brian Beckman: The Zen of Stateless State
- Erik Meijer: Functional Programming
- Scala Monads: Declutter Your Code With Monadic Design
- Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
- Kotlin for Android & Java Developers - LiveVideo course about Kotlin: functional programming, object orientation and building an Android app in Kotlin.
- Do we really need OOD and FDD? - Functional Declarative Design (FDD) opposed to Object-Oriented Design (OOD
- Functional Programming with TypeScript - Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist.
- Functional Programming with TypeScript - Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist.
-
Lectures
- C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals - Series of Lectures from one of the creators of Haskell
- Adventure with types in Haskell - Simon Peyton Jones - Lectures about Haskells strong Type System by Simon Peyton Jones.
- The Algebra of Algebraic Data Types - Very good explanation
-
Tools
- Isabelle/HOL - Generic proof assistant based on Higher Order Logic
-
Repos
- Haskell Must Watch - A list of videos, talks and courses on Haskell.
- Intro SML - Code, corrections and info on the book: `Introduction to Programming using SML`
- Bow - Companion library for Typed Functional Programming in Swift.
-
People
- Simon Peyton Jones - One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.
- Philip Wadler - 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.
- Matthias Felleisen - Author of many books such as How to Design Programs, and The Little Schemer.
- Erik Meijer - Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.
- Brian Beckman - Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F#
- Erik Meijer - Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.
-
License
-
Programming Languages
Categories
Sub Categories