收藏
Programming Language Pragmatics - Michael L. Scott

Programming Language Pragmatics

Michael L. Scott

出版社

Morgan Kaufmann

出版时间

2015-11-29

ISBN

9780124104099

评分

★★★★★

标签

编程语言编译原理计算机程序设计

书籍介绍
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
AI导读
核心看点
  • 全面整合语言设计与实现，侧重语用学分析
  • 涵盖从范式到编译器实现的广泛主题
  • 新增类型系统及ARM等现代架构内容
适合谁读
  • 希望深入理解编程语言设计原理的工程师
  • 计算机科学及编译原理相关专业的学生
  • 想跳出单一语言局限，建立宏观视野的开发者
读前提醒
  • 内容如百科全书，重在建立知识框架而非速成
  • 建议阅读英文原版，部分中译本存在语句不通
  • 适合配合具体语言实践，以加深理论理解
读者共识
  • 公认的经典教材，讲解清晰，信息量巨大
  • 相比龙书更友好，适合入门语言设计领域
  • 理论性强，读完需结合实践才能掌握技能

本导读基于书籍简介、目录、原文摘录、短评和书评生成，不等同于全文精读。

精彩摘录
  • "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 al"
  • "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 Defen"
  • "Declarative languages are in some sense "higher level"; they are more in tune with the programmers point of view, and less with the implementor's point of view. Imperative languages predominate, however, mainly for performance reasons."
  • "There is a tension in the design of declarative languages between the desire to get away from "irrelevant" implementation details, and the need to remain close enough to the details to at least control the outline of an algorithm. The design of efficient algorithms, after all, is what much of comput"
  • "Logic- or constraint-based languages take their inspiration from predicate logic. They model computation as an attempt to find values that satisfy certain specified relationships, using gaol-directed search through a list of logical rules. Prolog is the best-known logic language. The term is also so"
  • "The von Neumann languages are the most familiar and successful. They include Fortran, Ada 83, C, and all of the others in which the basic means of computation is the modification of variables. Whereas functional languages are based on expressions that have values, von Neumann languages are based on "
  • "We have seen several examples already of higher-order functions: call/cc (sec continuations), for-each (Example 10.19), compose (Example 10.20), and apply (page 535)."
  • "First, much of the power of first-class functions depends on the ability to create new functions on the fly, and for that we need a function constructor: something like Scheme’s lambda or ML’s fn."
作者简介
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.
用户评论
为什么还没有中文版出来？
信息量好大……
cover to cover
The best textbook I’ve ever read.
你可能会关注的书籍

Morgan Kaufmann的其他书籍查看全部

收藏