| 当前位置:首页 |
|
类型系统
推荐产品
联系我们
|
类型系统与内容管理系统 类型系统与粒计算 类型系统与时间
来源:本站整理 |
点击: |
录入时间:2011/12/9
关于树:类型系统关于树的定义不太明确,最接近类型系统的一个称为应该是“生长树”,这样它才能包含矢量的概念和拓扑序列的含义。而后者中的“序列”与时间有很大关系。 关于时间:虽然是时间被认为是一种资源已经很普遍,不对对于时间抽象概念,许多人还很模糊。其中的一个重要原因是把时间看得太具体。坚持世界是特的观点有助于理解时间。
哲学范畴化理论与面向计算的类型系统的关系,范畴化在应用于社会需要时会产生类型系统。换一种说法,类型系统是范畴化哲学的经世至用。 许多事物需要降维到树结构再处理。 类化是一个动态的过程,没有所谓的标准。那么可见的子类便是我们按需要构建的树。
类型系统与粒计算有相似之处。 上一篇:范畴化哲学与发明和计算
下一篇:逻辑、语言和认识
|