awesome-functional-studies
A curated list of functional programming resources to study the fp paradigm
https://github.com/lambda-study-group/awesome-functional-studies
Last synced: 6 days ago
JSON representation
-
Paradigm
- awesome functional programming
- functional-programming-javascript
- fp-course
- Functional programming study plan
- Hidden complexities of tail-call/tail-recursion optimization
- Erik Meijer: Functional Programming
- Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
- Introduction to Functional Programming (Prentice Hall International Series in Computing Science)
- A Proof Assistant for Higher-Order Logic
- The Implementation of Functional Programming Languages
- MIT 6.001 Structure and Interpretation, 1986
- How to Code - Simple Data
- How to Code - Complex Data
- Why Functional Programming Matters
- Programação Funcional Para Desenvolvedores Java
- Purely Functional Data Structures
- Algoritmos Funcionais
- Coding Tech - Functional Programming
- SICP
-
Elm
-
Scheme
-
Common Lisp
-
Clojure
- Clojure for the brave and true
- The Joy of Clojure
- The Ultimate Guide to Clojure Concurrency
- clj-br
- Clojure Brasil (Telegram)
- Material dos workshops
- exercism.io
- Clojure Academy
- Hacker Rank - Functional Programming Path
- Clojure Koans
- Clojure Katas
- Lambda Calculus: The Y combinator in clojure
- Clojure ToolBox
- Clojure CheatSheet
- Clojure Design Patterns
- clojurians
-
ClojureScript
-
Javascript
- Manning Functional Programming in JavaScript
- fp-begginer - ramda
- Functional programming patterns for the non-mathematician
- Common combinators in JavaScript
- David Nolen: Immutability: Putting The Dream Machine To Work
- Anjana Vakil: Learning Functional Programming with JavaScript - JSUnconf 2016
- Anjana Vakil: Immutable data structures for functional JS | JSConf EU 2017
- Pure JavaScript - Christian Johansen
- James Coglan: Practical functional programming: pick two | JSConf EU 2014
- Functional Programming In JavaScript — With Practical Examples
- Thinking in Ramda Series
- Erick Elliot - Composing Software Series
- An Intro to Functional Programming Concepts in JavaScript
- JavaScript and Type Thinking
- Lazy, composable, and modular JavaScript
- Monads in JavaScript
- Master the JavaScript Interview: What is Functional Programming?
- JavaScript Allongé, the "Six" Edition
-
Lambda Calculus-Combinators
- A Taste of the λ Calculus
- A Graphical Notation for the Lambda Calculus with Animated Reduction
- The SKI Combinator Calculus - a universal formal system
- BCKW Combinators (Wikipedia)
- Ski Combinators (Wikipedia)
- Programming With Nothing
- Lambda-Calculus and Combinators: An Introduction
- To Mock a Mocking Bird
- To Mock a Mockingbird and Other Logic Puzzles
- An Introduction to Functional Programming Through Lambda Calculus
- AlligatorEggs - Game
- AlligatorEggs Combinator
- Cube Composer - Game
-
Theory
- Category Theory for Programmers by Bartosz Milewski
- Type Theory & Functional Programming
- The Algebra of Algebraic Data Types
- Types and Programming Languages
- Fundamentos da Programação Lógica e Funcional
- Type Theory Foundations
- Proof Theory Foundations
- Don't fear the monad - Brian Beckman
- Brian Beckman: The Zen of Stateless State - The State Monad
- Generators, iterators, control and continuations
- Implementing, and Understanding Type Classes
- Video-series - Category theory for programmers by Bartosz Milewski
-
Haskell
- Functional Programming in Haskell
- Category Theory
- Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
- A Totally Non-Terrifying, Practical Introduction to Type-Level Programming
- School Of Haskell
- Haskell Course - NPTEL
- Haskell Fast Hard
- FUNCTIONAL PROGRAMMING - University of Edinburgh
- Parallel and Concurrent Haskel
- Haskell for Imperative Programmers
- Grupo de Estudos de Haskell (UFABC)
- Haskell Course - Glasgow University
- Write Yourself a Scheme in 48 Hours
- Write you a Haskell
- What I Wish I Knew When Learning Haskell
-
Scala
-
SML
-
OCaml
-
Elixir
- Getting started
- ElixirBR telegram
- Meetup ELUG
- Elixir Weekly
- Zero to Hero
- Elixir: A Mini-Documentary
- The Elixir of Life - Fabio Akita
- ElixirCasts
- Elixir In Action
- Koans Exercices
- Joy Of Elixir
- CheatSheet
- Elixir and Erlang packages and resources
- Erlang in Anger(Free)
- Phoenix a Web Framework for the New Web - José Valim
- Koans Exercices
-
Idris
-
Books
-
Sites
-
Talks
-
Blog posts
-
Papers
-
-
ReasonML
-
Ruby
Programming Languages
Categories
Sub Categories