The Little MLer

0
(0)

The Little MLer

作者:MatthiasFelleisen/DanielP.Friedman/DuaneBibby/RobinMilner

出版社:TheMITPress

出版年:1998-2-19

页数:200

定价:USD34.00

装帧:Paperback

ISBN:9780262561143

内容简介
······

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!

作者简介
······

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"

评论 ······

作者是scheme死忠粉,ML当scheme用。🤣 作者另外一本书里是Java当scheme耍。

ML的pattern match入门,以及这代码一股scheme味道。

化了3天看完, 很好很强大的书.

他的书基本是很小的子集,却讲出了语言的很多精髓,从学习上按说应该比较省力,但是内容涵盖多、技巧很强,所以一般比较烧脑,这两种特色同时出现,让我不知该把他的书定位成适合初学者呢,还是适合有基础后提纲挈领。另外一个特点是,苏格拉底式的启发对话教学,通过演绎的形式展开知识教授,最好全程动脑、动手,语言的演化过程都展现出来了,可以真正内化这些知识。学到很多,signature那里几段文字就让我理解了,之前…

点击星号评分!

平均分 0 / 5. 投票数: 0

还没有投票!请为他投一票。

推荐阅读

评论 抢沙发

评论前必须登录!

 

登录

找回密码

注册