原文作者：Luca Cardelli，Microsoft Research

翻译与调整：Koshiba

该文献基于 Luca Cardelli 的《Type Systems》[1] 第一、第二章的内容，并对原有内容与顺序进行了适当的调整。

Luca Cardelli 个人主页：http://lucacardelli.name/indexMe.html

《Type Systems》 2004 版：http://lucacardelli.name/Papers/TypeSystems.pdf

在对类型系统的分类整理以及对比分析它们的特点之前，请我们不妨静下心来深入探讨这一领域，并全面掌握其理论基础。

什么是类型？类型化语言与非类型化语言。

类型系统设立的目的，它可以保证什么？

什么是执行错误；安全与行为良好的异同。

需要多大程度的安全 —— 安全与性能的权衡。

如何形式化地描述类型系统。

目录

总述

类型的基本概念

类型

类型化语言和非类型化语言

显式类型与隐式类型

执行错误、安全、行为良好

执行错误和安全

执行错误和行为良好

强（类型）检查

弱（类型）检查

对语言和类型系统的若干讨论

语言应该是安全的吗？

语言应该类型化吗？

程序执行的经济性

小