Lambduck:一种极简的函数式编程语言

2025-06-06

Lambduck 是一种极简的函数式编程语言,其语法仅包含几个特殊符号:`` 用于 lambda 抽象,`` 用于函数应用,数字 0, 1 等作为德布鲁因索引。内置函数 `,` 从 stdin 读取字符并转换为 Church 数,` .` 将 Church 数转换为字符并输出到 stdout。示例包括对 true、false 和 Z 组合子的定义,以及一个简单的 "hello world" 程序。其简洁性使其成为研究函数式编程概念的理想工具。