Categories and Computer Science -Cambridge Computer Science Texts)R. F. C. Walters.pdf
2019-12-21 21:59:06
1.15MB
1
专门给程序员写的一本，入门级别的范畴论介绍，不需要很高深的数学基础。
2019-12-21 21:52:15
5.91MB
1
陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴论在程序设计语言的语义，论域理论，演绎系统和形式规范等方面的应用
2019-12-21 21:08:10
8.96MB
1
数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
2019-12-21 19:41:37
4.96MB
1