/awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional programming

Awesome Functional Programming Awesome

Tutorials and Articles

Lenses

Monads

Purescript

Elm


Awesome


Books


Resources


Combinators


Presentations


Videos


Youtube channels


Libraries

Javascript


Livescript


Java


Clojure/ClojureScript


ClojureScript


Scala


Kotlin


F#


C#


Swift


Python


PHP


Rust


Julia


Go


Haskell


Elixir


Erlang


OCaml


Racket lang


hackett - (Very) WIP implementation of a Haskell 98-like Lisp in Racket

Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming

Ela - Dynamic functional language

Eta - A powerful language for building scalable systems on the JVM

Koka - a function-oriented language with effect inference

Ditto is a super kawaii dependently typed language for you!

F* (pronounced F star) is an ML-like functional programming language aimed at program verification

Idris is a general purpose pure functional programming language with dependent types

Agda is a dependently typed functional programming language

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs