摘要：
所有计算机编程语言从本质上说都是综合考虑其执行环境的因素，旨在找到其问题域的对象和行为的最佳描述规则；其关于问题域的处理某种程度上说是一种抽象的建模过程。如前所述，ADA的类型系统是这个语言中最为复杂的内容之一。而类型系统很大程度上表现了一个语言对问题域中对象的一种哲学态度。ADA差不多将强类型走到一个极端，体现了它的一种态度（这中强类型可能已经强到了差不多不需要反射Reflection这样的机制了，至少在其基本类型范围内）本文将讨论ADA的各种数据类型，其间关系，以及在泛型中这些数据类型的表述。以下是一个ADA各种类型的派生关系图。走一遍这个树状结构可以发现这个设计思路还是有相当合理性的。注 阅读全文
