肉丁土豆园地

静谧编程花园 - The Secret Garden

2025年7月15日

如何用 Lambda 演算写出 Lambda 演算的解释器

摘要： 我最近在玩 Lambda 演算，听说它是图灵完备的！也就是可以自举，于是我来搞搞玩玩，顺便你也能看这个文章彻底玩会 Lambda 演算 阅读全文

posted @ 2025-07-15 04:21 肉丁土豆表 阅读(229) 评论(0) 推荐(1)