摘要: (本文不保证不误人子弟,切勿轻信) Unlambda指的是lambda计算中去掉lambda操作(does not have lambda(or abstraction) operation of the lambda calculus),那实现消除abstraction是如何做到的呢? 一、基本的 阅读全文
posted @ 2016-06-29 21:50 gaoshoufenmu 阅读(362) 评论(0) 推荐(0) 编辑