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-11-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!
刚上Dan的PL课时看了前8章,之后两章一直拖延到课结束才看完…有基础的就不用读啦,以对话作为叙述方式也不好速读。新手的话则非常推荐;SML也是非常可爱的语言,第一次看到数据类型和模式匹配的设计时真觉得好神奇,我觉得要开始点F#;Ocaml;Rust了……
评分内容不是特别多 ML实际上真就是各种pattern matching + record + module...
评分Dan Friedman的基本小人书都很不错。在EOPL里,Friedman给Racket加了一个pattern match的语法用来说明对数据和类型的抽象。这本小人书,选用了天然有这套东西的ML语言,列举了大量的例子,对希望了解ML的人算蛮不错的。对于已经了解函数式编程的,应该是很简单的。P.S ML的pattern match和erlang的pattern match的语义不完全相等。
评分本书大体沿用了TLS的内容来教授ADT和模式匹配,相比较TSS则浅了点,但依然五星推荐。
评分Dan Friedman的基本小人书都很不错。在EOPL里,Friedman给Racket加了一个pattern match的语法用来说明对数据和类型的抽象。这本小人书,选用了天然有这套东西的ML语言,列举了大量的例子,对希望了解ML的人算蛮不错的。对于已经了解函数式编程的,应该是很简单的。P.S ML的pattern match和erlang的pattern match的语义不完全相等。
The Little MLer 2024 pdf epub mobi 电子书