2003年（加拿大）

函数式编程理论基础

理论空白 函数方式 基本定律 量子推演 语言融合