λ Functional Programming

Pure Functions • Immutability • Higher-Order Functions • Monads • Category Theory • Type Systems

Master the art of declarative programming — from lambda calculus and pure functions to monads, functors, and algebraic data types.

47+

Functional Programming Concepts

Beginner

Functional Programming Basics

Declarative, expressions, functions, referential transparency.

Pure Functions

No side effects, determinism, testability.

Immutability

Persistent data, sharing, structural sharing.

Foundation

Concepts

Intermediate

Lambda Calculus

Alpha, beta reduction, church encoding.

Theory

Advanced

🔤

Typed Lambda Calculus

Simply typed, polymorphism, system F.

Theory

Expert

🏛️

Category Theory

Functors, monads, natural transformations.

Theory

Intermediate

🔄

Higher-Order Functions

Map, filter, reduce, fold, compose.

Function Composition

Compose, pipe, point-free style.

Currying & Partial Application

Curried functions, partials, arity.

Functors

Fmap, laws, Maybe, Either, List.

Monads

Bind, return, laws, Maybe, IO, List.

Monad Transformers

Stacking monads, transformer patterns.

Applicative Functors

Applicative, lifting, ZipList.

Algebraic Data Types

Sum types, product types, pattern matching.

Type Classes

Polymorphism, ad-hoc, constraints.

Dependent Types

Type-level programming, proofs, Idris.

Types

Theory

Intermediate

Haskell

Pure, lazy, type system, GHC.

Clojure

Lisp, immutability, JVM, concurrency.

Scala

OOP + FP, JVM, Akka, Cats.

Elixir

Erlang VM, concurrency, Phoenix.

F#

.NET, OOP+FP, type providers.

Racket

Language-oriented, Lisp, macros.

Idris

Dependent types, proof, programming.

Functional JavaScript

Map/filter/reduce, immutability, Ramda.

Functional Python

List comprehensions, itertools, functools.

Functional Java

Streams, lambdas, Optional, Vavr.

Functional Kotlin

Arrow, functional constructs, coroutines.

Pattern Matching

Destructuring, guards, case classes.

Algebraic Effects

Effect handlers, Koka, Unison.

Lazy Evaluation

Thunks, infinite lists, memoization.

Strict vs Lazy

Evaluation strategies, performance trade-offs.

Recursion in FP

Tail recursion, recursion schemes, catamorphisms.

Recursion Schemes

Catamorphism, anamorphism, hylomorphism.

Persistent Data Structures

Immutable lists, trees, hash maps, vectors.

Functional Data Structures

Okasaki, red-black trees, queues.

IO Monad

Pure I/O, sequencing, lazy I/O.

Effect Systems

Algebraic effects, eff, Koka.

Property-Based Testing

QuickCheck, random generation, shrinking.

QuickCheck

Testing framework, properties, generators.

Functional Design Patterns

Functor, monad, builder, decorator.

Transducers

Composable transformations, Clojure.

FP Libraries

FP-TS, Ramda, Lodash-fp, Scalaz.

Cats Library

Type classes, abstractions, data types.

ZIO

Effect system, fiber, functional Scala.

Functional Concurrency

STM, actors, CSP, pure concurrency.

STM in FP

Transactional memory, compose, retry.

Concurrency

Advanced