fp-library
A functional programming library for Rust featuring your favourite higher-kinded types and type classes.
Features
- Higher-Kinded Types (HKT): Implemented using lightweight higher-kinded polymorphism (defunctionalization/brands).
- Type Classes: A comprehensive collection of standard type classes including:
Functor,Applicative,MonadSemigroup,MonoidFoldable,TraversableCategory,SemigroupoidPointed,Lift,Defer,OnceApplyFirst,ApplySecond,Semiapplicative,Semimonad
- Data Types: Implementations for standard and custom types:
Option,Result,Vec,StringIdentity,Lazy,PairEndofunction,EndomorphismRcFn,ArcFnOnceCell,OnceLock
Motivation
Rust is a multi-paradigm language with strong functional programming features like iterators, closures, and algebraic data types. However, it lacks native support for Higher-Kinded Types (HKT), which limits the ability to write generic code that abstracts over type constructors (e.g., writing a function that works for any Monad, whether it's Option, Result, or Vec).
fp-library aims to bridge this gap by providing:
- A robust encoding of HKTs in stable Rust.
- A comprehensive set of standard type classes (
Functor,Monad,Traversable, etc.). - Zero-cost abstractions that respect Rust's performance characteristics.
How it Works
Higher-Kinded Types (HKT)
Since Rust doesn't support HKTs directly (e.g., trait Functor<F<_>>), this library uses Lightweight Higher-Kinded Polymorphism (also known as the "Brand" pattern or defunctionalization).
Each type constructor has a corresponding "Brand" type (e.g., OptionBrand for Option). These brands implement the Kind traits, which map the brand and generic arguments back to the concrete type.
// Simplified example
;
Zero-Cost Abstractions & Uncurried Semantics
Unlike many functional programming libraries that strictly adhere to curried functions (e.g., map(f)(fa)), fp-library adopts uncurried semantics (e.g., map(f, fa)) for its core abstractions.
Why? Traditional currying in Rust often requires:
- Creating intermediate closures for each partial application.
- Heap-allocating these closures (boxing) or wrapping them in reference counters (
Rc/Arc) to satisfy type system constraints. - Dynamic dispatch (
dyn Fn), which inhibits compiler optimizations like inlining.
By using uncurried functions with impl Fn or generic bounds, fp-library achieves zero-cost abstractions:
- No Heap Allocation: Operations like
mapandbinddo not allocate intermediate closures. - Static Dispatch: The compiler can fully monomorphize generic functions, enabling aggressive inlining and optimization.
- Ownership Friendly: Better integration with Rust's ownership and borrowing system.
This approach ensures that using high-level functional abstractions incurs no runtime penalty compared to hand-written imperative code.
Exceptions: While the library strives for zero-cost abstractions, some operations inherently require dynamic dispatch or heap allocation due to Rust's type system:
- Functions as Data: When functions are stored in data structures (e.g., inside a
VecforSemiapplicative::apply, or inLazythunks), they must often be "type-erased" (wrapped inRc<dyn Fn>orArc<dyn Fn>). This is because every closure in Rust has a unique, anonymous type. To store multiple different closures in the same container, or to compose functions dynamically (like inEndofunction), they must be coerced to a common trait object. - Lazy Evaluation: The
Lazytype relies on storing a thunk that can be cloned and evaluated later, which typically requires reference counting and dynamic dispatch.
For these specific cases, the library provides "Brand" types (like RcFnBrand and ArcFnBrand) to let you choose the appropriate wrapper (single-threaded vs. thread-safe) while keeping the rest of your code zero-cost.
Usage
Add fp-library to your Cargo.toml:
[]
= "0.1.0"
Example: Using Functor with Option
use map;
use OptionBrand;
Contributing
We welcome contributions! Please feel free to submit a Pull Request.
Development Environment
This project uses Nix to manage the development environment.
- Install Nix Package Manager.
- Install nix-direnv (recommended) for automatic environment loading.
To set up the environment:
# If using direnv
# Or manually enter the shell
This will provide a shell with the correct Rust version and dependencies.
Project Structure
fp-library/src/classes: Contains the definitions of type classes (traits).fp-library/src/types: Contains implementations of type classes for various data types.fp-library/src/hkt: Contains the machinery for higher-kinded types.fp-library/src/brands: Contains type brands used for HKT encoding.fp-library/src/functions: Contains general helper functions.
License
This project is licensed under the Blue Oak Model License 1.0.0.
References
- Lightweight higher-kinded polymorphism
- Typeclassopedia
- Lean Mathlib Prelude
- PureScript Pursuit
- Haskell base package Prelude
- PureScript Typeclass Hierarchy
- Where to find theoretical background (i.e., resources) behind PureScript classes?
- Counterexamples of Type Classes
- Haskell semigroupoids package
- Why not Pointed?
- Pluggable lifetimes