winter

我们已经有了邱奇数的加、减和乘法。 但是现在lambda定义的邱奇数看上去无法互相比较，我们这里就考虑一下如何实现邱奇数的比较。

邱奇数的加法和乘法并不难理解。它们仅仅是在函数调用的基础上进行叠加。那么，是否有方法实现邱奇数的减法呢？

lambda演算是函数式编程的数学理论基础。那么，lambda演算究竟是什么？它究竟解决了什么问题？它的价值究竟是什么？在本系列中，就让我们通过实际学习来回答上面的问题，感受lambda演算的数学之美

通过斐波那契数列，我们掌握了一些基本的生成函数使用技巧。 现在我们来了解一些常见的数列的生成函数以及生成函数的一些基本的变换技巧。

在上一篇中，我们尝试用生成函数巧妙地处理了无穷长度的序列。这一技巧看上去非常有用。于是我们可以尝试使用生成函数来处理数列问题。 我们的第一个案例，就是系列开头提到的青蛙跳台阶问题。

生成函数英文是 Generating Function，它是一种重要的组合数学方法。生成函数不但能为看上去毫无关联的组合问题提供统一思路，还能提供震惊面试官期望的时间复杂度。

我们本篇文章给大家讲解一组硬币问题，借此帮助大家熟悉动态规划的“套路”，让你以后面试中能够更好地应对此类问题。

众所周知，TypeScript的类型系统因其高度灵活性而常常被戏称“类型体操”。其实复杂类型操作并非无迹可寻，本文就试图从元编程的角度挖掘一下类型系统的潜力，希望能够帮助你抓到一些思路和脉络。

前一阵在某个技术群里发现有人在讨论JavaScript的generator，不少人一提generator就会把它跟异步联系在一起，我认为这是一个很深的误解。 generator 究竟跟异步是什么关系？