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"
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!
發表於2024-06-01
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 編程語言
Dan Friedman的基本小人書都很不錯。在EOPL裏,Friedman給Racket加瞭一個pattern match的語法用來說明對數據和類型的抽象。這本小人書,選用瞭天然有這套東西的ML語言,列舉瞭大量的例子,對希望瞭解ML的人算蠻不錯的。對於已經瞭解函數式編程的,應該是很簡單的。P.S ML的pattern match和erlang的pattern match的語義不完全相等。
評分ML基礎。
評分模塊係統挺繞的orz
評分ML基礎。
評分本書大體沿用瞭TLS的內容來教授ADT和模式匹配,相比較TSS則淺瞭點,但依然五星推薦。
The Little MLer 2024 pdf epub mobi 電子書 下載