from Matthias Felleisen's Homepage
(http://www.ccs.neu.edu/home/matthias/index.html)
i-con-o-clast n. 1. One who destroys sacred images. 2. One who attacks and seeks to overthrow traditional or popular ideas or institutions. The American Heritage Dictionary Wordsmith
An Element of Style Make definite assertions. Avoid tame, colorless, hesitating, non-committal language. Rule 12, William Strunk, Jr.
Q: What is the shortest lie in computing? A: It works.
On Programming: A bad day writing code in Scheme is better than a good day writing code in C. David Stigant
More on Programming: Always code as if the guy who ends up maintaining your code will be a violent psychopath who knows where you live. John F. Woods
Yet more on Programming: Programming is just another name for the lost art of thinking. Arctic Fidelity aka Aaron Hsu
On Teaching Programming: Wir sind froh, dass die Absolventen schon Java können. Programmieren müssen wir denen halt noch beibringen. overheard in a German firm, via Mike Sperber
More on Teaching Programming: You cannot teach beginners top-down programming, because they don't know which end is up. C. A. R. Hoare
On Mutation: Assignment leads to mutation. Mutation leads to pointers. Pointers lead to suffering! Anton van Straaten
On Research: I'm talking about a specific, extra type of integrity that is not lying, but bending over backwards to show that you're maybe wrong, that you ought to have when acting as a scientist. And this is our responsibility as scientists, certainly to other scientists, and I think to laymen. Richard P. Feynman, "Surely you're joking Mr. Feynman"
发表于2024-12-22
The Little MLer 2024 pdf epub mobi 电子书
The Little MLer是我在The Little XXX系列读的第一本书. 这本书用一问一答的模式展开整个ML语言的精髓. 语言通俗易懂. 我个人感觉可以让初中生甚至小学生用这本书学习ML. 这书快速的教会人ML的特点: Program by pattern matching. 比如一个function只map fun f1 s1(s2(a),b) ...
评分The Little MLer是我在The Little XXX系列读的第一本书. 这本书用一问一答的模式展开整个ML语言的精髓. 语言通俗易懂. 我个人感觉可以让初中生甚至小学生用这本书学习ML. 这书快速的教会人ML的特点: Program by pattern matching. 比如一个function只map fun f1 s1(s2(a),b) ...
评分The Little MLer是我在The Little XXX系列读的第一本书. 这本书用一问一答的模式展开整个ML语言的精髓. 语言通俗易懂. 我个人感觉可以让初中生甚至小学生用这本书学习ML. 这书快速的教会人ML的特点: Program by pattern matching. 比如一个function只map fun f1 s1(s2(a),b) ...
评分The Little MLer是我在The Little XXX系列读的第一本书. 这本书用一问一答的模式展开整个ML语言的精髓. 语言通俗易懂. 我个人感觉可以让初中生甚至小学生用这本书学习ML. 这书快速的教会人ML的特点: Program by pattern matching. 比如一个function只map fun f1 s1(s2(a),b) ...
评分The Little MLer是我在The Little XXX系列读的第一本书. 这本书用一问一答的模式展开整个ML语言的精髓. 语言通俗易懂. 我个人感觉可以让初中生甚至小学生用这本书学习ML. 这书快速的教会人ML的特点: Program by pattern matching. 比如一个function只map fun f1 s1(s2(a),b) ...
图书标签: ML 函数式编程 FP 计算机科学 计算机 编程 Programming 编程语言
The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy!
他的书基本是很小的子集,却讲出了语言的很多精髓,从学习上按说应该比较省力,但是内容涵盖多、技巧很强,所以一般比较烧脑,这两种特色同时出现,让我不知该把他的书定位成适合初学者呢,还是适合有基础后提纲挈领。另外一个特点是,苏格拉底式的启发对话教学,通过演绎的形式展开知识教授,最好全程动脑、动手,语言的演化过程都展现出来了,可以真正内化这些知识。学到很多,signature那里几段文字就让我理解了,之前上课看数学式的推到总感觉很困难。难度比The little schemer低。
评分刚上Dan的PL课时看了前8章,之后两章一直拖延到课结束才看完…有基础的就不用读啦,以对话作为叙述方式也不好速读。新手的话则非常推荐;SML也是非常可爱的语言,第一次看到数据类型和模式匹配的设计时真觉得好神奇,我觉得要开始点F#;Ocaml;Rust了……
评分刚上Dan的PL课时看了前8章,之后两章一直拖延到课结束才看完…有基础的就不用读啦,以对话作为叙述方式也不好速读。新手的话则非常推荐;SML也是非常可爱的语言,第一次看到数据类型和模式匹配的设计时真觉得好神奇,我觉得要开始点F#;Ocaml;Rust了……
评分一问一答的写法很别致。挺好玩的入门书。
评分他的书基本是很小的子集,却讲出了语言的很多精髓,从学习上按说应该比较省力,但是内容涵盖多、技巧很强,所以一般比较烧脑,这两种特色同时出现,让我不知该把他的书定位成适合初学者呢,还是适合有基础后提纲挈领。另外一个特点是,苏格拉底式的启发对话教学,通过演绎的形式展开知识教授,最好全程动脑、动手,语言的演化过程都展现出来了,可以真正内化这些知识。学到很多,signature那里几段文字就让我理解了,之前上课看数学式的推到总感觉很困难。难度比The little schemer低。
The Little MLer 2024 pdf epub mobi 电子书