winter

介绍一种稀有的数据结构，BinaryHashTree，这种结构利用了整数的可哈希特性。可以突破一些常见面试题的上限或者完全绕开奇技淫巧，可以说是一种作弊一样的数据结构。

连续赋值是经常出现在网络上的一道JavaScript面试题，但是极少有人能第一次见到就答对，对照标准，我们当然可以得出正确答案，然而它背后有哪些知识，它真的是一道好面试题吗？

lambda演算作为图灵机的等价，理论上我们能够知道它能够作为任何编程语言的模型。如果只保留JavaScript的箭头函数和函数调用，那么我们可以发现JavaScript语言和Lambda演算的关系。

Kleene-Rosser 悖论，它的存在导致 lambda 系统自身的不一致性。但是在学术研究领域，有问题不一定是坏事，解决问题的过程中，诞生的新方法、新理论，可能价值反而超过解决问题本身。

通过对丘奇数的推导，我们已经初步熟悉了lambda演算。 历史上的组合子逻辑受到lambda演算的启发，并且与lambda演算有千丝万缕的联系，但它实际上发展成了一个与lambda演算独立且竞争的理论

我们前面的丘奇数推导中，已经掌握了一定的lambda演算技巧。接下来，是时候正式了解一下lambda演算了。

邱奇数的除法实现较为困难。 但有了邱奇数的减法和比较，那么我们大致可以想到，如果能够不断把被除数减掉除数，直到它变得小于除数，我们就可以实现邱奇数除法了。

因为组合和错位相减技巧的存在，我们的生成函数总是会面对分母是多项式的生成函数。 一般的组合数学教程不会讲解代数技巧，但对于如我一样数学基础不太好的程序员，求得生成函数之后如何进行化简则是非常关键的。

《道诡异仙》是一部流行的网络小说。 其中，剧情讲述了男主角李火旺穿越到诡异世界。诡异和现代两个世界时不时交错，男主角陷入到了混乱当中。作为一个程序员，有没有办法利用专业知识区分世界是否是真实呢？