使用旧的Rust 2015

#1144 in 编码

CC0许可证

25KB
395 行

blc

blc是二进制lambda演算的实现。

二进制lambda演算基础

二进制lambda演算（BLC）是一种基于无类型lambda演算的二进制编码的最小、纯函数式编程语言，使用De Bruijn索引。

BLC中的lambda项具有以下表示形式

由于BLC程序基本上是lambda演算项，因此它们可以应用于其他项。为了适用于二进制（但不是BLC编码）输入，它必须首先进行lambda编码。字节数据作为字节的Church列表进行lambda编码，字节作为lambda编码位的Church列表进行lambda编码。

位0和1作为Church布尔值进行lambda编码

bit	lambda	BLC
0	λλ2 (true)	0000110
1	λλ1 (false)	000010

示例：代表ASCII/UTF-8编码字母'a'的字节的BLC编码步骤

encoding	representation
十进制	96
二进制	01100001
lambda	λ1(λλ2)(λ1(λλ1)(λ1(λλ1)(λ1(λλ2)(λ1(λλ2)(λ1(λλ2)(λ1(λλ2)(λ1(λλ2)(λ1(λλ1)(λλ1))))))))
BLC (十六进制)	16 16 c 2c 10 b0 42 c1 85 83 b 6 16 c 2c 10 41 0

该库已可使用，但仍处于开发中。

~180KB