call-by-need 不过是比 call-by-name 多了一个 memorization 的步骤 转载于:https://www.cnblogs.com/nanlan2017/p/10317676.html