……https://ncatlab.org/nlab/show/relation+between+type+theory+a... 另一种切入角度是用有向完全偏序集来明确程序执行的数学意义，用范畴论的视角来看待它们会很有启发性。我认为对于这个视角，《Category Theory for Computing Science》是最容易入门的起点（https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf）——将其作为编程的核心抽象。虽然你完全可以脱离它去推导程序和编程……
…https://ncatlab.org/nlab/show/relation+between+type+theory+a... A different version of this is specifying the mathematical meaning of program execution in terms of directed-complete partial orders which are fruitful to think of categorically. I think Category Theory for Computing Science is the most approachable starting place for that perspective (https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf) - As core abstractions for programming. While you can reason about programs and programming…
我最初是读了巴尔（Barr）和威尔斯（Wells）的《Category Theory for Computing Science》[0]才顿悟开窍的，不过我不清楚你的数学背景如何。范畴论属于代数，所以攻克范畴论之前，最好先去学学基础群论。（我很难想象……
It first clicked for me when reading Barr and Wells' Category Theory for Computing Science [0], but I don't know about your mathematical background. Category theory is algebra, so it's probably advisable to study basic group theory before tackling category theory. (I have a hard time seeing…
试试迈克尔·巴尔（Michael Barr）和查尔斯·威尔斯（Charles Wells）写的免费在线教材《Category Theory for Computing Science》[1]。这是一本货真价实的教材，配有练习题，干货非常多。[1]: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
Try the free online textbook Category Theory for Computing Science by Michael Barr and Charles Wells [1]. It's a true textbook with exercises and lots of content. [1]: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
……术语）。比如，你可以在模糊逻辑中定义一个规则系统，然后利用这个库自动生成对应的代码。第二种用途虽然没那么具象，但可能更让人大开眼界。巴尔和威尔斯的《Category Theory for Computing Science》从范畴的基本公理起步，最终基于图示推理（范畴论中的常见工具）定义出了用于软件模块化的各种有趣模式（……
…terms). For example, you could define a rules system in a fuzzy logic and have the right code be automatically generated using the library. The second is less concrete, but probably more eyeopening. 'Category Theory for Computing Science' by Barr and Wells starts from the basic axioms of a category and ends with defining all sorts of interesting patterns for software modularity based on diagrammatic reasoning (a common tool in category…
针对这一点，我想补充一本巴尔和威尔斯写的互补读物：《Category Theory for Computing Science》（2013年修订版）http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
I'd add to that a complementary text by Barr and Wells: Category Theory for Computing Science (Revised 2013) http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
我觉得市面上并没有什么特别神作的书。有一本巴尔和威尔斯的《Category Theory for Computing Science》（http://www.case.edu/artsci/math/wells/pub/ctcs.html），算是一本不错的好书，但谈不上包罗万象。范畴论本身就很难……
I don't think there is anything particularly brilliant. There's Category Theory for Computing Science by Barr and Wells (http://www.case.edu/artsci/math/wells/pub/ctcs.html), which is a good enough book but hardly comprehensive. I don't know any way round the fact that category theory is difficult to…
……https://ncatlab.org/nlab/show/relation+between+type+theory+a... 另一种切入角度是用有向完全偏序集来明确程序执行的数学意义，用范畴论的视角来看待它们会很有启发性。我认为对于这个视角，《Category Theory for Computing Science》是最容易入门的起点（https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf）——将其作为编程的核心抽象。虽然你完全可以脱离它去推导程序和编程……
…https://ncatlab.org/nlab/show/relation+between+type+theory+a... A different version of this is specifying the mathematical meaning of program execution in terms of directed-complete partial orders which are fruitful to think of categorically. I think Category Theory for Computing Science is the most approachable starting place for that perspective (https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf) - As core abstractions for programming. While you can reason about programs and programming…
我最初是读了巴尔（Barr）和威尔斯（Wells）的《Category Theory for Computing Science》[0]才顿悟开窍的，不过我不清楚你的数学背景如何。范畴论属于代数，所以攻克范畴论之前，最好先去学学基础群论。（我很难想象……
It first clicked for me when reading Barr and Wells' Category Theory for Computing Science [0], but I don't know about your mathematical background. Category theory is algebra, so it's probably advisable to study basic group theory before tackling category theory. (I have a hard time seeing…
试试迈克尔·巴尔（Michael Barr）和查尔斯·威尔斯（Charles Wells）写的免费在线教材《Category Theory for Computing Science》[1]。这是一本货真价实的教材，配有练习题，干货非常多。[1]: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
Try the free online textbook Category Theory for Computing Science by Michael Barr and Charles Wells [1]. It's a true textbook with exercises and lots of content. [1]: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
……术语）。比如，你可以在模糊逻辑中定义一个规则系统，然后利用这个库自动生成对应的代码。第二种用途虽然没那么具象，但可能更让人大开眼界。巴尔和威尔斯的《Category Theory for Computing Science》从范畴的基本公理起步，最终基于图示推理（范畴论中的常见工具）定义出了用于软件模块化的各种有趣模式（……
…terms). For example, you could define a rules system in a fuzzy logic and have the right code be automatically generated using the library. The second is less concrete, but probably more eyeopening. 'Category Theory for Computing Science' by Barr and Wells starts from the basic axioms of a category and ends with defining all sorts of interesting patterns for software modularity based on diagrammatic reasoning (a common tool in category…
针对这一点，我想补充一本巴尔和威尔斯写的互补读物：《Category Theory for Computing Science》（2013年修订版）http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
I'd add to that a complementary text by Barr and Wells: Category Theory for Computing Science (Revised 2013) http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
我觉得市面上并没有什么特别神作的书。有一本巴尔和威尔斯的《Category Theory for Computing Science》（http://www.case.edu/artsci/math/wells/pub/ctcs.html），算是一本不错的好书，但谈不上包罗万象。范畴论本身就很难……
I don't think there is anything particularly brilliant. There's Category Theory for Computing Science by Barr and Wells (http://www.case.edu/artsci/math/wells/pub/ctcs.html), which is a good enough book but hardly comprehensive. I don't know any way round the fact that category theory is difficult to…