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
- Awesome
- Moores Law
- 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
- Async Streams in C#
- How to leverage functional programming in Kotlin to write better, cleaner code
- 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
- 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
- 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.
- 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
- Why dont more programmers use Haskell
- Hidden complexities of tail-call/tail-recursion optimization
- 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.
- 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
- Isabelle/HOL - 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 `The Little Prover`
- 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`
- 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.
- Functional Programming Learning Path - A Learning Path for Functional Programming
- 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#
- ![CC0
- Lucas Viola
Programming Languages
Keywords
functional-programming
3
fp
2
tagless-final
1
swift-library
1
swift
1
spm
1
reactive-programming
1
mtl
1
monad
1
functor
1
free-monad
1
effects
1
declarative-programming
1
composition
1
cocoapods
1
category-theory
1
carthage
1
bow
1
subtitles
1
srt-subtitles
1
srt-parser
1
srt-format
1
srt
1
programming-exercises
1
parsing
1
parsers
1
parser-combinators
1
parser-combinator
1
parser
1
parsec
1
learning-by-doing
1
learn-to-code
1
haskell-tutorial
1
haskell-learning
1
haskell-exercises
1
haskell
1
functional-programming-examples
1