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.
发表于2024-11-22
Programming Language Pragmatics 2024 pdf epub mobi 电子书
第三版的翻译确实有比较大的问题,特别是相对第二版新增的部分,很多地方语句不通顺,晦涩难懂。 两位译者也都木有听说过,可能是我孤陋寡闻了吧。。。 个人认为原版英文书应该是比较经典的深入了解程序设计语言的设计和实现的资料,译成这样着实有些可惜了。希望若有之后的版...
评分不知道是翻译问题还是出版社的问题,随便看了几章,发现很多语句不通的地方。 例如p527"下面我们使用Haskell的标准IO单体重新上面的例子",这句话的本意估计是"下面使用Haskell的标准IO单体重写上面的例子"。这样的例子还有很多。 第一版、第二版翻译的都很好,按理说这版不会...
评分 评分1、翻译马马虎虎吧,反正我对着原文一起看的。 其实原版裘宗燕老师的翻译也是难懂得很,和原书有关?(不能怨第三版的译者。。。因为第三版几乎都是抄的裘老师的,所以译的难读应归结于裘老师) 2、这一版删去了索引,和文中的黑体字,出版社真不良心啊。(索引啊索引啊,前两...
评分图书标签: 编程语言 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
为什么还没有中文版出来?
评分信息量好大……
评分cover to cover
评分cover to cover
评分为什么还没有中文版出来?
Programming Language Pragmatics 2024 pdf epub mobi 电子书