- 博客(2)
- 收藏
- 关注
RSS订阅转载 Paxos历史回顾
自Paxos提出，迄今已有20多年了，围绕着该算法曾经发生过一些非常有趣的事情，这些也已成为人们津津乐道的一段轶事，故事的主角自然是Paxos的提出者Lamport，当然Lamport的特立独行也是很早就出了名的。首先来讲述下这些有趣的八卦，之后会再理一下Paxos的整个发展过程，以及在这个过程中产生的一系列比较重要的论文，总共会涉及到十几篇论文，如果有时间还是最好都研读一下。由于时间关系，我也只
2014-09-28 22:54:23
2602
原创 Javascript推导Y-Combinator (来自Jim Weirich)
熟悉函数式编程的同学都了解lambda表达式，程序设计语言里的lambda表达式来源于1936年邱奇发明的lambda演算。Y-Combinator正是lambda演算里最富有神秘色彩的一种函数。它的作用是在只有匿名函数的lambda演算里实现递归函数调用。本篇向读者揭示了如何反复重构一个普通的阶乘函数从而推导出Y-Combinator。文章的推导方法来源于Jim Weirich在ruby conference 2012上的一次分享。
2014-09-21 12:55:37
3375
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人