6 releases
0.2.1 | Sep 6, 2024 |
---|---|
0.2.0 | Sep 6, 2024 |
0.1.3 | Sep 6, 2024 |
#472 in Math
180KB
256 lines
lambda-rs
An implementation of the Lambda Calculus in Rust, only using ZSTs, traits, and generics.
use lambda_types::prelude::*;
type Two = call! { Successor, Successor, Zero };
type Three = call! { Successor, Two };
type Six = call! { Multiply, Three, Two };
type Seven = call! { Successor, Six };
static THE_MEANING_OF_LIFE: call! {
ToNumber { Multiply, Six, Seven }
} = ConstNumber::<{b'*' as u64}>; // 42
lib.rs
:
lambda-types
Implements the Lambda Calculus in Rust's type system.
There is zero runtime functionality or procedural macros in this crate - it's all done using generics, traits, and associated types.
If you want to toy around with this, check out the prelude
.
If you want to write your own function types, check out the Macros.
The Y combinator is left unimplemented, as Rust evaluates types greedily, making it unusable.