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: about 1 hour ago
JSON representation
-
Javascript
- Anjana Vakil: Immutable data structures for functional JS | JSConf EU 2017
- Anjana Vakil: Learning Functional Programming with JavaScript - JSUnconf 2016
- David Nolen: Immutability: Putting The Dream Machine To Work
- JavaScript Allongé, the "Six" Edition
- 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?
- Functional programming patterns for the non-mathematician
- Pure JavaScript - Christian Johansen
- Why Curry Helps
- Common combinators in JavaScript
- Erick Elliot - Composing Software Series
- James Coglan: Practical functional programming: pick two | JSConf EU 2014
- Functional Programming In JavaScript — With Practical Examples
- Thinking in Ramda Series
- Functional Light Programming
- Mostly adequate guide to FP (in javascript)
- Functional Programming Jargon
- Fantasy Land
- Crocks
- Folktale
- Union Types
- Combinators-js
- Church Encoding in JS
- Fantasy Combinators
- Fantasy Birds
- A Gentle Introduction to Functional JavaScript
- James Coglan: Practical functional programming: pick two | JSConf EU 2014
- Functional Programming In JavaScript — With Practical Examples
- Thinking in Ramda Series
- Manning Functional Programming in JavaScript
- fp-begginer - ramda
- Functional Programming in Javascript - funfunfunction
-
Haskell
- School Of Haskell
- What I Wish I Knew When Learning Haskell
- Haskell Course - Glasgow University
- FUNCTIONAL PROGRAMMING - University of Edinburgh
- Write you a 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
- Haskell Course - NPTEL
- Haskell Fast Hard
- Parallel and Concurrent Haskel
- Haskell for Imperative Programmers
- Grupo de Estudos de Haskell (UFABC)
- Write Yourself a Scheme in 48 Hours
- Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
- Haskell Course - NPTEL
- Parallel and Concurrent Haskel
- Haskell for Imperative Programmers
- Real World Haskell
- HaskellBook
-
Scala
- Functional Programming in Scala
- Scala With Cats
- Scala Monads: Declutter Your Code With Monadic Design
- Recursion Schemes Categorically
- Scaladores
- Scala With Cats
- Introduction to Programming with Dependent Types
- Scala Monads: Declutter Your Code With Monadic Design
- Scaladores
- Coursera - Functional Programming Principles in Scala
- Scala With Cats
- Scaladores
-
Clojure
- Clojure ToolBox
- Clojure Koans
- Clojure for the brave and true
- Clojure CheatSheet
- Clojure Brasil (Telegram)
- The Joy of Clojure
- The Ultimate Guide to Clojure Concurrency
- clj-br
- Material dos workshops
- Clojure Academy
- Hacker Rank - Functional Programming Path
- Clojure Katas
- Lambda Calculus: The Y combinator in clojure
- Clojure Design Patterns
- clojurians
- Clojure Styleguide
- Wonderland Clojure Katas
- Clojure By Example
- Programming Clojure 2ed
- Clojure Applied: From Practice to Practitioner
- Mastering Clojure Macros
- LispCast
- clojurians
- Curriculum
- exercism.io
- Clojure Academy
- Hacker Rank - Functional Programming Path
- Clojure Koans
- 4Clojure
- Lambda Calculus: The Y combinator in clojure
- Clojure Design Patterns
-
Elixir
- Elixir In Action
- Erlang in Anger(Free)
- Elixir Weekly
- Elixir and Erlang packages and resources
- CheatSheet
- ElixirCasts
- Joy Of Elixir
- ElixirBR telegram
- Meetup ELUG
- Zero to Hero
- Elixir: A Mini-Documentary
- Phoenix a Web Framework for the New Web - José Valim
- The Elixir of Life - Fabio Akita
- Getting started
- Koans Exercices
- Koans Exercices
- Elixir Style Guide
- 30 Days Of Elixir
- Elixir FP
- Elixir School
- Zero to Hero
- Programming Elixir 1.6
- Programming Phoenix
- Try Elixir - CodeSchool
- Learn x in y
- Elixir 4noobs
-
Elm
- Elm in Action
- Learn You a Elm
- Practical Elm
- Try-elm
- Elm-lang - Examples
- Elm-lang - Time travel Debug
- Telegram Elm Brasil
- Elm Lang Slack
- Elm Weekly Newsletter
- Start Building Web Apps using Elmlang today
- React Elm Components
- Elm-lang - Examples
- Learn You a Elm
- Elm Lang Slack
- Beginning Elm
- Practical Elm
-
OCaml
- Try OCaml
- Beginners guide to OCaml beginners guides
- Telegram group - Reason & OCaml Brasil
- OCaml for the Skeptical
- Introduction to OCaml
- First steps in OCaml
- Functional Programming by Example - Ocaml
- Introduction to OCaml
- OCaml Tutorials
- Solution of 99 Problems
- Learn OCaml
- Real World OCaml
- Beginners guide to OCaml beginners guides
- Ocaml Structure of Ocaml
-
Theory
- The Algebra of Algebraic Data Types
- Category Theory for Programmers by Bartosz Milewski
- Don't fear the monad - Brian Beckman
- Brian Beckman: The Zen of Stateless State - The State Monad
- Type Theory & Functional Programming
- Types and Programming Languages
- Fundamentos da Programação Lógica e Funcional
- Type Theory Foundations
- Proof Theory Foundations
- Generators, iterators, control and continuations
- Implementing, and Understanding Type Classes
- Functors, Applicatives, And Monads In Pictures
- Video-series - Category theory for programmers by Bartosz Milewski
- Type Theory Foundations
- Proof Theory Foundations
- Generators, iterators, control and continuations
- Implementing, and Understanding Type Classes
-
Lambda Calculus-Combinators
- BCKW Combinators (Wikipedia)
- Ski Combinators (Wikipedia)
- The SKI Combinator Calculus - a universal formal system
- Cube Composer - Game
- AlligatorEggs - Game
- A Taste of the λ Calculus
- A Graphical Notation for the Lambda Calculus with Animated Reduction
- 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 Combinator
- The SKI Combinator Calculus - a universal formal system
- A Taste of the λ Calculus
- A Graphical Notation for the Lambda Calculus with Animated Reduction
- Programming With Nothing
- AlligatorEggs - Game
- AlligatorEggs Combinator
-
Paradigm
- Erik Meijer: Functional Programming
- SICP
- Purely Functional Data Structures
- Why Functional Programming Matters
- Introduction to Functional Programming (Prentice Hall International Series in Computing Science)
- Hidden complexities of tail-call/tail-recursion optimization
- A Proof Assistant for Higher-Order Logic
- Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
- The Implementation of Functional Programming Languages
- MIT 6.001 Structure and Interpretation, 1986
- How to Code - Simple Data
- How to Code - Complex Data
- Programação Funcional Para Desenvolvedores Java
- Algoritmos Funcionais
- Coding Tech - Functional Programming
- awesome functional programming
- functional-programming-javascript
- fp-course
- Functional programming study plan
- Hidden complexities of tail-call/tail-recursion optimization
- Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
- How to Design Programs
- The Implementation of Functional Programming Languages
- C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals
- Programming Languages
- fp-course
- MIT 6.001 Structure and Interpretation, 1986
- How to Code - Simple Data
- How to Code - Complex Data
- Coding Tech - Functional Programming
-
Idris
-
Talks
-
Sites
-
Books
-
Blog posts
-
Papers
-
-
SML
-
Ruby
-
Scheme
-
Common Lisp
-
ClojureScript
-
ReasonML
-
Papers
-
Talks
-
-
Erlang
Programming Languages
Categories
Sub Categories
Keywords
functional-programming
5
javascript
4
lambda-calculus
2
haskell
2
combinatory-logic
2
styleguide
2
style-guide
2
clojure
2
functional
2
composition
1
adt
1
elixir-lang
1
elixir
1
specification
1
fantasy-land
1
fp
1
tutorial
1
reactive-programming
1
training-providers
1
training-materials
1
education
1
church-encoding
1
combinator
1
recursion-schemes
1
recursion
1
functional-languages
1
f-algebras
1
awsome
1
awesome-list
1
awesome-functional-programming
1
algebraic-data-types
1
unary-functions
1
predicate-functions
1
pair
1
monoid
1
monad
1
lift
1
functor
1
curry
1
book
1