王垠的解释器学习材料

王垠虽然疯了，但是他写的解释器教材还是引入的蛮好的

『Ground-Up Computer Science』样章

怎样写一个解释器

一些解释：

1. 

// Y combinator 的定义
var Y = f =>  (x => f(v => x(x)(v)))  (x => f(v => x(x)(v)));

var factGen = fact =>  n =>  {    
    if (n == 0)    {      return 1;    }   
     else    {      return n * fact(n - 1);    }  
    };
var yfact = Y(factGen);
show(yfact(5));
// 120

这里是通过Y函数可以做到不通过递归调用就可以做到递归的效果。

这里的展开触发是通过5这个传入参数进行触发的。

然后通过5，4，3，2，1不断触发

函数式编程的基石 - Y Combinator

2. https://www.yinwang.org/resources/gucs-sample-chapter7.pdf

中的一些逻辑说

我的理解是(x => y => x + y)(2)(3)到这里的时候，其实已经是从底层的递归调用回来了，所以值其实已经有了是5.我理解是这里说没有定义导致报错是因为在call的if代码中，他还验证了，call body体的有效性。如果验证有效性时，x这个值并没有在env中，会导致报错不存在。