TL;DR combinator 函数必须不含自由变量，combinator 之间可以组合 Y combinator 解决了匿名函数不能递归调用自身的问题 （在不能给函数命名的 lambda caculus 中也可以递归了） What is Combinator? A combinator is just a lambda expressions with no free varia...