AttaLambda: 基于无类型Lambda的极简语言
Show HN: AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda 是一款构建于纯无类型 lambda 演算之上的小巧编程语言。它通过一元函数和应用构建核心计算逻辑，同时引入了易读的语法、精确的有理数支持以及运行时类型检查机制。该语言特别设计了输入输出跨越独立主机边界的架构，既保留了 lambda 演算的数学纯粹性，又提升了实际编程的可操作性。无论是探索函数式编程的底层原理，还是尝试极简语言设计，AttaLambda 都提供了一个独特的实验沙盒。
AttaLambda 让无类型 lambda 演算焕发生机，在保留纯粹计算本质的同时，赋予了它易读的语法与精确的有理数运算能力。