Lambda 演算解释器
2024-06-14
这篇文章介绍了一个Lambda演算解释器的实现。Lambda演算是一种形式系统,用于研究函数定义、函数应用和递归。该解释器可以解析Lambda表达式,并将它们简化为范式。
阅读更多
未分类
Lambda演算
这篇文章介绍了一个Lambda演算解释器的实现。Lambda演算是一种形式系统,用于研究函数定义、函数应用和递归。该解释器可以解析Lambda表达式,并将它们简化为范式。
阅读更多