Lambda演算学习笔记， 注0：一切名词术语以英语/德语标注为准，中文是我瞎鸡巴翻的。 注1：说“返回一个值”其实不严格, β-规约到最后也不会获得一个真正的“自然数”，因为Lambda calculus 中只有演算，没有数字。自然数由 Church Encoding 定义，其本质也是λ-Term 注2：汉字入和lambda λ长得太tm像了，所以文中的入我都写成“进”之类的词。 §§ Term…
Lambda演算学习笔记， 注0：一切名词术语以英语/德语标注为准，中文是我瞎鸡巴翻的。 注1：说“返回一个值”其实不严格, β-规约到最后也不会获得一个真正的“自然数”，因为Lambda calculus 中只有演算，没有数字。自然数由 Church Encoding 定义，其本质也是λ-Term 注2：汉字入和lambda λ长得太tm像了，所以文中的入我都写成“进”之类的词。 §§ Term…
讨论
登录后参与讨论
还没有评论，来说第一句吧。