如果有哪位程序员想入坑范畴论（Category Theory），我推荐试试 Bartosz Milewski 的《Category Theory for Programmers》[0]。写得相当棒，你可以在那个网站上当博客读，也可以买本电子书或实体书翻翻。要是想找那种更偏理论、没那么偏应用，但依然跟计算机科学/编程相关的路径，…
If anyone is looking to get into Category Theory as a programmer, I would recommend giving Bartosz Milewski's Category Theory for Programmers a shot[0]. Quite good, and you can read it as a blog post on that site or get the ebook/physical book to leaf through. For a more theoretical/less applied approach that's still relevant to computer science/programming,…
This is a really exciting area. See also the Cambria project [1] and the HN discussion from yesterday [2]. See [3,4] for a great introduction to category theory for programmers--we are all indebted to Milewski / Fong / Spivak / et al. for making this topic more accessible. [1] https://www.inkandswitch.com/cambria.html [2] https://news.ycombinator.com/item?id=24699615 [3]…
过去几年我试着入门范畴论（Category Theory）好多次了，唯一真正管用的只有 Bartosz Milewski 的《Category Theory for Programmers》（视频课程[1]、书籍[2]） 1. https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI... 2. https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
I've tried getting into Category Theory many times over the past few years and the only thing that actually worked is Category theory for Programmers by Bartosz Milewski (lectures[1], book[2]) 1. https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI... 2. https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
…从数学上来说。在程序中，我们组合（compose）了大量东西（函数、类型、对象、系统……），而能够将这些抽象出来非常有价值。Bartosz Milewski 最近整理了一个很棒的系列（《Category Theory for Programmers》），反响似乎挺不错，或许能给出你想要的答案：http://bartoszmilewski.com/2014/10/28/category-theory-for-pr...
…mathematically. In programs, we compose lots of things (functions, types, objects, systems...), and being able to abstract that away is valuable. Bartosz Milewski has been putting together a nice series ("Category Theory for Programmers") for a little while now, that seems to be pretty well-received and may give you the answer you're looking for: http://bartoszmilewski.com/2014/10/28/category-theory-for-pr...
…关于复数和四元数如何用于计算空间旋转。我个人不是范畴论的粉丝，但如果你热衷于抽象概念，或许会喜欢 Bartosz Milewski 的《Category Theory for Programmers》。顺着类似的方向（并绕回类型论），还有 CMU 的《Software Foundations》系列书籍[1]。如果你对密码学感兴趣，可能会非常喜欢读 Chris Peikert 的 A…
…about the way complex numbers and quaternions are used to computing spatial rotations. I'm not personally a fan of category theory, but if abstractions are your thing you might enjoy Bartosz Milewski's Category Theory for Programmers. Along similar lines (and circling back to type theory), there's CMU's Software Foundations series of books[1]. If you are interested in cryptography, you might really enjoy reading Chris Peikert's A…
Riehl 的《Category Theory in Context》非常棒。属于那种每一页都要花上好几个小时才能完全消化的书。它很适合搭配 Milewski 的《Category Theory for Programmers》[1] 系列一起看，后者相对轻松一些，还给出了不少具体例子。[1] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
Riehl's "Category Theory in Context" is great. It's one of those books where every page really takes a couple hours to fully absorb. It pairs well with Milewski's "Category Theory for Programmers" [1] series, which is comparatively lighter and gives some concrete examples. [1] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
如果有哪位程序员想入坑范畴论（Category Theory），我推荐试试 Bartosz Milewski 的《Category Theory for Programmers》[0]。写得相当棒，你可以在那个网站上当博客读，也可以买本电子书或实体书翻翻。要是想找那种更偏理论、没那么偏应用，但依然跟计算机科学/编程相关的路径，…
If anyone is looking to get into Category Theory as a programmer, I would recommend giving Bartosz Milewski's Category Theory for Programmers a shot[0]. Quite good, and you can read it as a blog post on that site or get the ebook/physical book to leaf through. For a more theoretical/less applied approach that's still relevant to computer science/programming,…
这个领域确实让人兴奋。也可以看看 Cambria 项目 [1] 和昨天的 HN 讨论 [2]。参考 [3,4] 了解面向程序员的优秀范畴论入门——我们都得感谢 Milewski / Fong / Spivak 等人，把这个主题变得容易理解得多。[1] https://www.inkandswitch.com/cambria.html [2] https://news.ycombinator.com/item?id=24699615 [3]…
This is a really exciting area. See also the Cambria project [1] and the HN discussion from yesterday [2]. See [3,4] for a great introduction to category theory for programmers--we are all indebted to Milewski / Fong / Spivak / et al. for making this topic more accessible. [1] https://www.inkandswitch.com/cambria.html [2] https://news.ycombinator.com/item?id=24699615 [3]…
过去几年我试着入门范畴论（Category Theory）好多次了，唯一真正管用的只有 Bartosz Milewski 的《Category Theory for Programmers》（视频课程[1]、书籍[2]） 1. https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI... 2. https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
I've tried getting into Category Theory many times over the past few years and the only thing that actually worked is Category theory for Programmers by Bartosz Milewski (lectures[1], book[2]) 1. https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI... 2. https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
…从数学上来说。在程序中，我们组合（compose）了大量东西（函数、类型、对象、系统……），而能够将这些抽象出来非常有价值。Bartosz Milewski 最近整理了一个很棒的系列（《Category Theory for Programmers》），反响似乎挺不错，或许能给出你想要的答案：http://bartoszmilewski.com/2014/10/28/category-theory-for-pr...
…mathematically. In programs, we compose lots of things (functions, types, objects, systems...), and being able to abstract that away is valuable. Bartosz Milewski has been putting together a nice series ("Category Theory for Programmers") for a little while now, that seems to be pretty well-received and may give you the answer you're looking for: http://bartoszmilewski.com/2014/10/28/category-theory-for-pr...
…关于复数和四元数如何用于计算空间旋转。我个人不是范畴论的粉丝，但如果你热衷于抽象概念，或许会喜欢 Bartosz Milewski 的《Category Theory for Programmers》。顺着类似的方向（并绕回类型论），还有 CMU 的《Software Foundations》系列书籍[1]。如果你对密码学感兴趣，可能会非常喜欢读 Chris Peikert 的 A…
…about the way complex numbers and quaternions are used to computing spatial rotations. I'm not personally a fan of category theory, but if abstractions are your thing you might enjoy Bartosz Milewski's Category Theory for Programmers. Along similar lines (and circling back to type theory), there's CMU's Software Foundations series of books[1]. If you are interested in cryptography, you might really enjoy reading Chris Peikert's A…
Riehl 的《Category Theory in Context》非常棒。属于那种每一页都要花上好几个小时才能完全消化的书。它很适合搭配 Milewski 的《Category Theory for Programmers》[1] 系列一起看，后者相对轻松一些，还给出了不少具体例子。[1] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
Riehl's "Category Theory in Context" is great. It's one of those books where every page really takes a couple hours to fully absorb. It pairs well with Milewski's "Category Theory for Programmers" [1] series, which is comparatively lighter and gives some concrete examples. [1] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...