FP and OOP

FP 和 OOP 是目前主流的编程范式.我们不谈论这两种编程范式的优劣, 仅仅讨论一下 FP 和OOP 两者的差别. Decomposition 如何将一个任务分解, 这是任何一位Programmer都需要考虑的事情, 而FP和OOP对于如何将一个大型程序或者任务分解有着完全不同 »

Lists and Patterns Matching

Recursive computations 递归的计算模型是声明式编程的核心, 有些人可能并不知道, 类型也是可以递归的. 比如说列表. List 列表是在函数式编程中是很有趣的, 也是很强大的, 大多数函数式编程语言都支持列表, 比如Haskell, ML, Scheme. »

What is Subtype

Subtyping While languages like Java and C# have generics these days, the source of type-system expressiveness most fundamental to object-ori »