硬核可视化工具复活：用“气泡符号”动态演示 Lambda 演算，让代码逻辑一目了然
该项目最初是一项2008年的硕士论文，近日被从Google Code旧归档中挖掘并迁移至GitHub。Visual Lambda是一个独特的图形化编程环境，它利用“气泡符号”将抽象的Lambda表达式转化为彩色的、树状的二维结构，并流畅地演...
标签索引
Lambda演算
这个标签下有 2 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
挑战计算极限：如何在64位内存储超越“葛立恒数”的巨大数值
普遍认为64位整数的极限是$2^{64}-1$，但最新研究表明，通过Lambda演算这一极简编程模型，我们可以在仅64位的代码空间内定义出远超“葛立恒数”的天文数值。文章详细对比了图灵机与Lambda演算在Busy Beaver游戏中的表现...