丹尼爾·福瑞得曼

丹尼爾 · 弗裏德曼 ( 生於1944年 ） ， 在美國擔任計算機科學教授 ， 專攻程序語言研究領域 ， 爲該領域的權威 。 1976年他和David Wise合作發表了影響深遠的論文 《 Cons should not evaluate its arguments 》 。 在接下來的八十年代 ， 他轉而研究Scheme語言 ， 探討了用宏來定義程序語言 。 他和其他幾位作者合作發表了被至今仍廣泛引用的論文 ， 引入了乾淨的宏 （ Hygienic macro ） 的概念 。 和Haynes以及Wand, 他同時研究了連續對象本質 、 使用及約束可能性 。 隨後 ， 他和 引入了λ演算 ， 以及 Continuation和 。 他們的工作催生了在經典邏輯和計算於連續實際擴展之間的語意和聯繫方面的研究 。 弗裏德曼博士是位多產的教科書作者 。 他的第一本著作 《 The Little Lisper 》 寫於1974年 ， 時至今日再版第四版了 ， 書更名爲 《 The Little Schemer 》 。 在1990年代 ， 他和撰寫發佈了另外三本little系列叢書 ， 《 The Little MLer 》, 《 The Seasoned Schemer 》, 和 《 A Little Java, A Few Patterns 》 。 弗裏德曼博士是 《 》 的主要作者 。 這本書於1980年代出版 ， 改變了程序語言領域的面貌 ， 將重點從盤點各種程序語言轉爲通過解釋器來研究程序語言的原則 。 今天這個領域的其他教科書都遵循此方向 ， 只是用實作語意和類型理論代替瞭解釋器 。 和 《 The Little LISPer 》 一樣, 《 Essentials of Programming Languages 》 長盛不衰 ， 目前已爲第三版 。 最近 ， 弗裏德曼博士和Byrd 、 Kiselyov一起撰寫 《 The Reasoned Schemer 》 ， 通過Scheme 語言的一個擴展來解釋邏輯編程 。 2015年 ， 弗裏德曼博士和Carl Eastlund出版了 《 The Little Prover 》 ， 並公開輔助證明程序 “ J - Bob ” 的源代碼 。