Types and Programming Languages (dhl)

Benjamin C. Pierce

  • 出版商: MIT
  • 出版日期: 2002-01-04
  • 售價: $3,990
  • 貴賓價: 9.8$3,910
  • 語言: 英文
  • 頁數: 645
  • 裝訂: Hardcover
  • ISBN: 0262162091
  • ISBN-13: 9780262162098
  • 相關分類: 程式語言資訊安全軟體工程
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

Description:

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective—-has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

商品描述(中文翻譯)

描述:
類型系統是一種根據計算出的值的種類對程序片段進行分類,以自動檢查某些錯誤行為是否存在的語法方法。從類型理論的角度研究類型系統和編程語言在軟件工程、語言設計、高性能編譯器和安全性方面具有重要應用。

本書全面介紹了計算機科學中的類型系統以及編程語言的基本理論。採用實用和操作性的方法,每個新概念都以編程示例為基礎,而更理論的部分則是根據實現的需求。每章都附有大量的練習和解答,以及通過網絡提供的運行實現。明確標識了章節之間的依賴關係,讓讀者可以選擇多種學習路徑。

核心主題包括無類型的λ-計算、簡單類型系統、類型重建、通用和存在多態性、子類型、有界量化、遞歸類型、類型和類型運算符。擴展案例研究開發了多種建模面向對象語言特性的方法。