《类型和程序设计语言》

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

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

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

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏程序人生 阅读快乐

Java数据结构和算法.(第二版)

《Java数据结构和算法》(第2版)以一种易懂的方式教授如何安排和操纵数据的问题,其中不乏一些难题:了解这些知识以期使计算机的应用获得最好的表现。不管使用何种语...

9020
来自专栏鸿的学习笔记

关于英语,也许你忽视了很多东西

这是葛传椝老先生对英语学习者的教导,通篇用易读的英文短文讲述了英语学习过程中的种种心得,其中“大都是英语语法书和英语修辞学书不曾提到的”,文短而词丰,言简而意赅...

10310
来自专栏老九学堂

第一次Java串讲

Java基础的知识点结构 “目无全牛 游刃有余” ? 2阶段复习巩固 老九学堂学Java微视频到此已经录制三讲了,我们计划是每二周做一次知识点的串讲,目的是帮...

30580
来自专栏企鹅号快讯

为什么那么多人说C+难学?怎么学

对于正在学习C/C++的同学来说,C语言可能不难,但是当自学C++的时候,总会出现各种问题,就像是一个恶性循环不懂所以不想看,关键是没有·一个由浅到深的过程,刚...

20080
来自专栏kalifaの日々

POJ3723 《挑战程序设计竞赛》踩坑

我看书上的代码,觉得这一行有错误, //这里为什么要加上女生的人数而不是男生的人数?我认为应该加男生的人数 es[j].v = v+N; 所以我就没这样写,我...

39870
来自专栏程序员互动联盟

如何才能精通C语言?

其实说到精通两个两个字,其实作为一个做了多年的老程序员,一般不敢提及这两字,要精通一门语言相当的难,所以在简历上一般看到精通某种语言的描述,总会找点犄角旮旯的问...

64670
来自专栏本立2道生

重新思考面向过程与面向对象

面向过程的思考方式是,要采购原材料、生产产品、卖产品、管理入账出账,因此需要生产人员、销售人员、财务等,将他们串起来,公司就运转起来了。

11110
来自专栏好好学java的技术栈

从初级程序员到编程大牛,只需要每天坚持做这件事情……

程序员这个行业是很特殊的。之所以说特殊,就是因为它所有的技术大多来自欧美,所以最主流,最新鲜,最正确的技术文章都是英文,遗憾的是,大部分还没有译本。

11320
来自专栏Albert陈凯

Scala 课堂! 从 ∅ 到分布式服务

http://twitter.github.io/scala_school/zh_cn/index.html Scala课堂是Twitter启动的一系列讲座,用...

36850
来自专栏小二的折腾日记

LeetCode-53-Maximum-Subarray

最长子序列,又是一个动态规划的问题,关于动态规划,我们最主要的是要维护DP数组,这个问题以前还有点不理解,感觉主要的还是思想,只要知道这是一个动态规划的问题,解...

12220

扫码关注云+社区

领取腾讯云代金券