Functional Programming

Building Languages to Solve Problems

When a problem is complex enough, the right move is to build a language for that problem. SICP's most powerful idea.

Category Theory for Programmers

compositional.mle: SICP-Inspired Optimization

An R package where optimization solvers are first-class functions that compose through chaining, racing, and restarts.

Haskell Programming from First Principles

Learn You a Haskell for Great Good!

Modern Compiler Implementation in ML

Pearls of Functional Algorithm Design

Purely Functional Data Structures

Real World Haskell

The Little MLer

The Little Schemer

The Seasoned Schemer

Rerum: Pattern Matching and Term Rewriting in Python

A Python library for symbolic computation with a readable DSL, pattern matching, and a security model that separates rules from computation.

AlgoGraph: Immutable Graph Library with Functional Transformers

AlgoGraph is an immutable graph library for Python with pipe-based transformers, declarative selectors, and lazy views.

ZeroIPC: Shared Memory as a Computational Substrate

ZeroIPC treats shared memory not as passive storage but as an active computational substrate, bringing futures, lazy evaluation, reactive streams, and CSP channels to IPC with zero-copy performance.

JAF: Streaming Boolean Algebra Over Nested JSON

A streaming data processing system implementing boolean algebra over nested JSON structures, with lazy evaluation, S-expression queries, and memory-efficient windowed operations.

The Dot Ecosystem: From Simple Paths to Data Algebras

A composable ecosystem of tools for manipulating nested data structures. From a simple helper function to a full data algebra, guided by purity, pedagogy, and the principle of least power.

JSL: A Functional Language Where Code Is JSON

A Lisp-like functional language designed for network transmission. JSL makes JSON serialization a first-class design principle, so closures, continuations, and entire computation states can travel over the wire.

AlgoTree: Immutable Trees with Functional Transformers

An immutable-by-default tree library for Python with composable transformations, pipe-based pipelines, and pattern-matching selectors.

Accumux: Compositional Online Statistical Reductions in C++

A C++20 library for composing online statistical accumulators with numerically stable algorithms and algebraic composition.

algebraic.dist: Distributions as Algebraic Objects in R

An R package that treats probability distributions as algebraic objects. They compose through standard operations. The algebra preserves distributional structure.