有时,相同的概念在计算机科学的不同领域独立发明.这是其中一个场合.Scheme社区称之为潜在和清单类型,世界其他地方称为隐式和显式类型.含义完全相同:
在显式/清单类型中,程序员必须明确写下类型,因此类型在源代码中变得明显.
在隐式/潜在类型中,程序员不会记下类型.因此类型是隐含的或潜在的.
请注意,隐式与显式打字的问题完全正交于例如动态与静态打字,强与弱打字,声音与不良打字,安全与不安全打字以及名义与结构与鸭子打字.
例如,Haskell是隐式,强烈,静态,声音,安全,结构类型.
查看Anton van Straaten关于Lambda the Ultimate 的帖子.它描述了Scheme的上下文中的潜在类型.
清单类型将用于静态类型语言,其中术语的类型在语法上声明,或者可以在编译时从其他此类术语推断.