五千年(敝帚自珍)

主题:【原创】我们不谈数学(3)(草稿) -- jungleford

共:💬29 🌺112
全看分页树展 · 主题 跟帖
家园 MS计算机语言的类型系统也是类型论的应用

这也就难怪国内很少有计算机语言创建出来了,理论基础与人相比太差了。不过中科院软件所的XYZ语言还是很有独创性的,其理论基础是时序逻辑。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河