Lambda Calculus
The mathematical foundation of all functional programming. Every Haskell expression is, at its core, a lambda term waiting to be reduced.
Explore|The mathematical foundation of all functional programming. Every Haskell expression is, at its core, a lambda term waiting to be reduced.
ExploreLift a function into a computational context. Functors let you map over structures without breaking them apart.
StudySequence computations with context. Monads are not scary -- they are the elegant answer to the question of structured effects.
UnderstandDeconstruct data with precision. Pattern matching makes complex branching logic read like a mathematical definition.
PracticePrincipled ad-hoc polymorphism. Define interfaces that types can implement, enabling generic programming with type safety.
DiscoverValues do not change. Once bound, a name refers to the same thing forever. This simple principle unlocks fearless concurrency.
Begin