Michael L. Scott is a professor in the University of Rochester’s Department of Computer Science, which he chaired from 1996 to 1999. He is the designer of the Lynx distributed programming language and a co-designer of the Charlotte and Psyche parallel operating systems, the Bridge parallel file system, the Cashmere distributed shared memory system, and the MCS mutual exclusion lock. He received his Ph.D. from the University of Wisconsin-Madison in 1985.
发表于2025-01-31
Programming Language Pragmatics 2025 pdf epub mobi 电子书
1、翻译马马虎虎吧,反正我对着原文一起看的。 其实原版裘宗燕老师的翻译也是难懂得很,和原书有关?(不能怨第三版的译者。。。因为第三版几乎都是抄的裘老师的,所以译的难读应归结于裘老师) 2、这一版删去了索引,和文中的黑体字,出版社真不良心啊。(索引啊索引啊,前两...
评分1、翻译马马虎虎吧,反正我对着原文一起看的。 其实原版裘宗燕老师的翻译也是难懂得很,和原书有关?(不能怨第三版的译者。。。因为第三版几乎都是抄的裘老师的,所以译的难读应归结于裘老师) 2、这一版删去了索引,和文中的黑体字,出版社真不良心啊。(索引啊索引啊,前两...
评分不知道是翻译问题还是出版社的问题,随便看了几章,发现很多语句不通的地方。 例如p527"下面我们使用Haskell的标准IO单体重新上面的例子",这句话的本意估计是"下面使用Haskell的标准IO单体重写上面的例子"。这样的例子还有很多。 第一版、第二版翻译的都很好,按理说这版不会...
评分对于那些有兴趣了解程序设计语言的基本设计与功能的软件工程师而言,这是一本入门的好书。特别有助于深入了解某一种程序语言的特点,理解其优势与软肋,进而用好它,而不是迷失于世面上众多的语言的花哨的特性中。
图书标签: 编程语言 programming 程序设计 编译器 编译原理 计算机 编程 PLT
Programming Language Pragmatics, Fourth Edition is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on integration that is supported by a central focus on programming language design.
The book provides readers with a solid foundation for understanding the most important issues driving software development today, and this latest edition is complete with new material and numerous updates, including added content on interpretation, expanded coverage of OCaml, new chapters devoted to type systems and composite types, reworked coverage of overloading, coercion, and polymorphism, and new examples featuring the ARM and x86 64-bit architectures.
Provides new material on interpretation, including expanded coverage of OCaml
Contains new material on interpretation, expanded coverage of OCaml, new chapters devoted to type systems and composite types, reworked coverage of overloading, coercion, and polymorphism
New chapters are devoted to type systems and composite types
Includes updated and re-worked coverage of overloading, coercion, and polymorphism
Presents new examples featuring the ARM and x86 64-bit architectures
The best textbook I’ve ever read.
评分为什么还没有中文版出来?
评分信息量好大……
评分信息量好大……
评分cover to cover
Programming Language Pragmatics 2025 pdf epub mobi 电子书