Dan Friedman 是 Indiana 大学的教授,程序语言领域的创始人之一。他主要的著作《The Little Schemer》(前身叫《The Little Lisper》) 是程序语言界最具影响力的书籍之一。现在很多程序语言界的元老级人物,当年都是看这本“小人书”学会了 Lisp/Scheme,才决心进入这一领域。
Friedman 对程序语言的理解可以说是世界的最高标准,很可惜的是,由于他个人的低调,他受到很多人的误解。很多人以为他只懂得 Scheme 这种“类型系统落后的语言”。有些人觉得他只顾自己玩,不求“上进”,觉得他的研究闭门造车,不“前沿”。我也误解过他,甚至在见面之前,根据这些书的封面,我断定他肯定是个年轻小伙。结果呢,第一次见到他的时候,他已经过了60岁大寿。
程序语言的研究者们往往追逐一些“新概念”,却未能想到很多这些新概念早在几十年前就被 Friedman 想到了。举个例子,Haskell 所用的 lazy evaluation 模型,最早就是他在 1976 年在与 David Wise 合写的论文“CONS should not Evaluate its Arguments”中提出来的。
虽然写了 The Little Schemer, 但 Friedman 的学识并不限于 Scheme。他不断地实验各种其它的语言设计,包括像 ML 一类的含有静态类型系统的函数式语言,逻辑式语言,面向对象语言,用于定理证明的语言等等。在每次的试验之后,他几乎都会写一本书,揭示这些语言最精要的部分。
觉得 ML 比 Scheme 先进很多的人们应该看看 Friedman 这本书:The Little MLer:
想要真正理解 Java 设计模式的人可以看看这本:A Little Java, A Few Patterns:
Friedman 对程序语言的理解可以说是世界的最高标准,很可惜的是,由于他个人的低调,他受到很多人的误解。很多人以为他只懂得 Scheme 这种“类型系统落后的语言”。有些人觉得他只顾自己玩,不求“上进”,觉得他的研究闭门造车,不“前沿”。我也误解过他,甚至在见面之前,根据这些书的封面,我断定他肯定是个年轻小伙。结果呢,第一次见到他的时候,他已经过了60岁大寿。
程序语言的研究者们往往追逐一些“新概念”,却未能想到很多这些新概念早在几十年前就被 Friedman 想到了。举个例子,Haskell 所用的 lazy evaluation 模型,最早就是他在 1976 年在与 David Wise 合写的论文“CONS should not Evaluate its Arguments”中提出来的。
虽然写了 The Little Schemer, 但 Friedman 的学识并不限于 Scheme。他不断地实验各种其它的语言设计,包括像 ML 一类的含有静态类型系统的函数式语言,逻辑式语言,面向对象语言,用于定理证明的语言等等。在每次的试验之后,他几乎都会写一本书,揭示这些语言最精要的部分。
觉得 ML 比 Scheme 先进很多的人们应该看看 Friedman 这本书:The Little MLer:
想要真正理解 Java 设计模式的人可以看看这本:A Little Java, A Few Patterns: