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"
3 有用 某雲 2013-12-04 09:13:00
刚上Dan的PL课时看了前8章,之后两章一直拖延到课结束才看完…有基础的就不用读啦,以对话作为叙述方式也不好速读。新手的话则非常推荐;SML也是非常可爱的语言,第一次看到数据类型和模式匹配的设计时真觉得好神奇,我觉得要开始点F#;Ocaml;Rust了……
1 有用 Duke 2019-02-17 07:48:26
内容不是特别多 ML实际上真就是各种pattern matching + record + module...
1 有用 歇斯底你 2017-09-20 08:12:59
ML基础。
2 有用 Kitorinix 2016-01-12 00:09:55
模块系统挺绕的orz
1 有用 壮壮 2013-10-12 09:07:33
化了3天看完, 很好很强大的书.