运行时类型在数理逻辑层次结构中的意义

考虑数据类型中的这样一种情形,定义一个容器,它能任何元素,包括元素,其它容器甚至自己,如果以传统语言作为例子,应当是这样实现的,每当出现新的类型(包括元素和容器),将会生成唯一的符号标签,在程序的运行过程中通过检测这些标签来识别,而对于lisa这样的程序来说,只是站在了一个更高的间接层上,原理上的东西并没有变化.

而对于函数类型中,也有这样类似的例子存在,比如函数的递归定义,通过连接器的作用,程序在运行时确实能够找到自己,(当然通过什么样的途径找,其中不一定会明确存在类型这个概念,但原理是一样的).

以上的这两种情况揭示的意思是一种类型要递归地表达自己,可能是不完备的,但在层次结构中(比如其中的语法,语义,连接,运行时系统)却可以表现出合理的意义.