类型和程序设计语言pdf

图书网 2019年6月21日13:52:02174.7K

类型和程序设计语言 内容简介

类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。

要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述,为读者提供了一个进一步理论学习的基础。本书内容广泛,读者可以根据自己的需要有选择地深入阅读。

本书适合从事程序设计的研究人员和开发人员,以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。

类型和程序设计语言 目录

第1章 引论

1.1 计算机科学中的类型

1.2 类型系统的优点

1.3 类型系统和语言设计

1.4 历史概要

1.5 相关阅读

第2章 数学基础

2.1 集合、关系和函数

2.2 有序集合

2.3 序列

2.4 归纳

2.5 背景知识阅读

第一部分 无类型系统

第3章 无类型算术表达式

3.1 导论

3.2 语法

3.3 对项的归纳

3.4 语义形式

3.5 求值

3.6 注释

第4章 算术表达式的一个ML实现

4.1 语法

4.2 求值

4.3 其余部分

第5章 无类型lambda演算

5.1 基础

5.2 lambda演算中的程序设计

5.3 形式性

5.4 注释

第6章 项的无名称表示

6.1 项和上下文

6.2 移位和代换

6.3 求值

第7章 lambda演算的一个ML实现

7.1 项和上下文

7.2 移位和代换

7.3 求值

7.4 注释

第二部分 简 单 类 型

第8章 类型算术表达式

8.1 类型

8.2 类型关系

8.3 安全性=进展+保持

第9章 简单类型的lambda演算

9.1 函数类型

9.2 类型关系

9.3 类型的性质

9.4 CurryHoward对应

9.5 抹除和类型性

9.6 Curry形式和Church形式

9.7 注释

第10章 简单类型的ML实现

10.1 上下文

10.2 项和类型

10.3 类型检查

第11章 简单扩展

11.1 基本类型

11.2 单位类型

11.3 导出形式:序列和通配符

11.4 归属

11.5 let绑定

11.6 序对

11.7 元组

11.8 记录

11.9 和

11.10变式

11.11一般递归

11.12列表

第12章 规范化

12.1 简单类型的规范化

12.2 注释

第13章 引用

13.1 引言

13.2 类型化

13.3 求值

13.4 存储类型

13.5 安全性

13.6 注释

第14章 异常

14.1 提升异常

14.2 处理异常

14.3 带值的异常

第三部分 子类型化

第四部分 递归类型

附录A 部分习题解答

附录B 标记约定

参考文献

图书网:类型和程序设计语言pdf

继续阅读

→→→→→→→→→→→→→→→→→→→→查找获取

程序设计

重构 改善既有代码的设计(中文版)pdf

《重构:改善既有代码的设计》(中文版)所提的这些重构准则将帮助你一次一小步地修改你的代码,这就减少了过程中的风险。很快你就会把这些重构准则和其名称加入自己的开发词典中,并且朗朗上口...
程序设计

数据结构 C语言版 第2版pdf

适读人群 :普通高校电子信息大类本科生学习、考研,同时也适合零售和培训。 采用“案例驱动”的编写模式。书中结合实际应用,将各章按照“案例引入——数据结构及其操作——案例分析与实现”...
匿名

发表评论

匿名网友

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

评论:17   其中:访客  17   博主  0
    • fb8py
      fb8py 9

      想要了解类行的原理

      • free
        free 9

        支持

        • emm
          emm 9

          想要

          • emm
            emm 9

            • typeboy
              typeboy 9

              学习一下

              • typeboy
                typeboy 9

                学习下类型系统,字数字数

                • 匿名网友
                  匿名网友 0

                  学习学习,找遍全网页没找到可以下载的

                  • ghhgff
                    ghhgff 0

                    求资源求很久了,十分感谢

                    • The sins of our hands
                      The sins of our hands 0

                      我很需要这本书,特意评论,希望能有下载

                      • test1111
                        test1111 9

                        类型和程序设计语言