《EOPL》: 实现了惰性求值的两种参数传递策略

call-by-need 不过是比 call-by-name 多了一个 memorization 的步骤

posted on 2019-01-25 00:21  王家恒  阅读(305)  评论(0编辑  收藏  举报

导航