作者：newis
链接：https://www.zhihu.com/question/376890141/answer/1302417252
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
 

程语言的Type的话，有在不同的场景下有不同的意义：

从形式化严验证、类型论的角度而言，Type是一种最基础的抽象结构（数学中大多数人会用集合），通过不同的Type来构建不同的结构和逻辑，如果从CH同构的角度上来说，Type对应一个Theorem，下面随便找的一些例子：

如果对这方面感兴趣的话，可以看Friedman的童话书《The Little Typer》。

如果从静态分析的角度而言，Type可以表达为一个抽象解释过程中的一个抽象值，这个角度的Type可以很宽泛，取决于对抽象值的定义和用途，比如1这个Term可以解释为(Add1 Zero)、One、True、Int等等。

可能从底层角度来说，不同的Type仅仅表达的是不同的空间占用。

喜欢的点赞、收藏一下吧！

                                                                       需要更多教程，微信扫码即可

                                                                                

                                                                                         👆👆👆

                                                        别忘了扫码领资料哦【高清Java学习路线图】

                                                                     和【全套学习视频及配套资料】