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 un...
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
作者简介
· · · · · ·
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 ...
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.
Excellent Compilers. Fortran owes much of its success to extremely good compilers. In part this is a matter of historical accident. Fortran has been around longer than anything else, and companies have invested huge amounts of time and money in making compilers that generate very fast code. It is also a matter of language design, however: Fortran dialects prior to Fortran 90 lack recursion and pointers, features that greatly complicate the task of generating fast code (at least for programs that can be written in a reasonable fashion without them!). In a similar vein, some languages (e.g., Common Lisp) are successful in part because they have compilers and supporting tools that do an unusually good job of helping the programmer manage very lage projects. (查看原文)
Economics, Patronage, and Inertia. Finally, there are factors other than technical merit that greatly influence success. The backing of a powerful sponsor is one. PL/I, at least to first approximation, owes its life to IBM. Cobol and, more recently, Ada owe their life to the U.S. Department of Defense: Ada contains a wealth of excellent features and ideas, but the sheer complexity of implementation would likely have killed it if not for the DoD backing. Similarly, C#, despite its technical merits, would probably not have received the attention it has without the backing of Microsoft. At the other end of the life cycle, some languages remain widely used long after "better" alternatives are available because of a huge base of installed software and programmer expertise, which would cost to... (查看原文)
3 有用 Marine 2023-04-07 22:06:30 上海
神书…… 我想这应该是plt入门的最好的书之一
6 有用 决 2019-05-05 22:38:59
为什么还没有中文版出来?
0 有用 razors 2024-09-10 12:05:41 北京
终于看完了... 写得很好,涉及大量的主题,而且讲述得都很清晰。缺点是依然不够"pragmatic",像是一本百科全书,读完对这些主题都有了一个基本的认识,知道了是什么,但代码不会写,感觉也没有学会什么新的技能
6 有用 whatever 2022-07-28 16:09:54
已写书评。学习编译原理有什么好的书籍? - 彭飞的回答 - 知乎 https://www.zhihu.com/question/315313590/answer/626363738 === 祖与占 Programming Language Pragmatics 确实好, 不像龙书之类那样硬核, 但又能知道个所以然 ------ 知乎R大也推荐
0 有用 Jay 2016-12-22 06:49:11
信息量好大……