数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
代码片段和文件信息
属性 大小 日期 时间 名称
----------- --------- ---------- ----- ----
文件 5203539 2018-10-18 15:19 （王世强）数理逻辑与范畴论应用.pdf
----------- --------- ---------- ----- ----
文件 5203539 2018-10-18 15:19 （王世强）数理逻辑与范畴论应用.pdf
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件举报，一经查实，本站将立刻删除。
评论列表（条）