2007-04-19
全文显示

Lambda Calculus

关键字: math lambda
λ演算是一套用于研究函数定义、函数应用和递归的形式系统。它由 Alonzo Church 和 Stephen Cole  Kleene 在 20 世纪三十 年代引入，Church 运用 lambda 演算在 1936 年给出 判定性问题 (Entscheidungsproblem) 的一个否定的答案。这种演算可以 用来清晰地定义什么是一个可计算函数。关于两个 lambda 演算表达式是否等价的命题无法通过一个通用的算法来解决，这是 不可判定性能够证明的头一个问题，甚至还在停机问题之先。Lambda 演算对函数式编程有巨大的影响，特别是Lisp 语言。 ...
2007-04-18
全文显示

XP basis

关键字: agile,extreme programming
what is Extreme Programming simple design:什么是简单的设计，简单的说就是可以很容易使你团队成员理解并认同的设计，过犹不及 不少人总是喜欢炫耀自己所掌握的设计模式和最新的设计技巧，而全然不考虑是否 合适。简单的设计包含两个部分，其核心就我所理解既是把握现在而非充满变数的未来，第一部分：为已经 定义的功能进行设计，或说是和客户协商好了的需要实现得功能，不要将自己一些自以为是的GOOD IDEA强加 于设计。第二部分：创建最佳的可实现功能得设计，不管未来怎样，我们只将眼前的工作做到最好。似乎敏 捷是有意在回避预测，而实 ...
2007-04-17
全文显示

engineering methodologies VS agile methodologies

关键字: notes,Martin Flwler,The New Methodology
www.martinfowler.com/articles/newMethodology.html#FromNothingToMonumentalToAgile engineering methodologies（工程方法，又或则plan-drive methodologies,计划驱动方法），这些方法通 过对开发过程进行严格而详细的规定，以期使软件开发更可预知以及获得更高的开发效率，这种强调前期计 划灵感来源与其他工程领域的实践，从而得名工程方法。不过工程方法虽然存在了很长时间，但并没有引起 人们太多的注意，对其主要的评批是太过于个官僚化，太多德事情需要做，会延缓整个 ...
2007-04-09
全文显示

Pluggable Adapters

关键字: design pattern
A pluggable adapter is an adapter that adapts dynamically to one of several classes. Of course, the adapter can adapt only to classes that it can recognize, and usually the adapter decides which class it is adapting to based on differing constructors or setParameter methods. Java has yet anot ...
SunMicro
搜索本博客
最近加入圈子
存档
最新评论