AttaLambda: 基于无类型Lambda的极简语言
Show HN: AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda 是一款构建于纯无类型 lambda 演算之上的小巧编程语言。它通过一元函数和应用构建核心计算逻辑，同时引入了易读的语法、精确的有理数支持以及运行时类型检查机制。该语言特别设计了输入输出跨越独立主机边界的架构，既保留了 lambda 演算的数学纯粹性，又提升了实际编程的可操作性。无论是探索函数式编程的底层原理，还是尝试极简语言设计，AttaLambda 都提供了一个独特的实验沙盒。
AttaLambda 让无类型 lambda 演算焕发生机，在保留纯粹计算本质的同时，赋予了它易读的语法与精确的有理数运算能力。
- RedRackham
干得漂亮！
我写了一个小小的 lambda 演算解释器来测试书中的形式。我稍微作弊了一下，添加了：
def <name> = <exp> ==> 在求值前将 <exp> 代入 <name>
if <exp1> then <exp2> else <exp3> fi ==> ((<exp1> <exp2>) <exp3>)
这样可以让代码更易读。
我想有些人已经实现了列表和递归，但你是第一个我遇到的动态类型实现者。
我觉得 lambda 演算很有趣。我的书是关于函数式编程的，所以在理论方面用处不大，理论方面我推荐 Barendregdt 的《The Lambda Calculus. Its Syntax and Semantics》。
祝好，
Greg Michaelson
- rsrsrs86
这没什么意思，因为 1) 你完全可以只分享你的提示词：“implement Greg Michaelsons book in racket”；2) 你什么都没加；3) 你跳过了学习 lambda 演算时几乎所有值得研究的内容。
- ethan-winters
有意思