作者简介

https://bartoszmilewski.com

内容简介

Category Theory is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches of mathematics, like algebra, topology, and group theory. It might therefore come as a shock that the basic concepts of category theory can be explained in relatively simple terms to anybody with some experience in programming. That's because, just like programming, category theory is about structure. Mathematicians discover structure in mathematical theories, programmers discover structure in computer programs. Well structured programs are easier to understand and maintain, and are less likely to contain bugs. Category theory provides the language to talk about structure, and learning it will make you a better programmer.


https://bartoszmilewski.com

下载地址

豆瓣评论

  • 意庭
    我是一个程序员,恰好又对强大而艰深的范畴论产生了兴趣,当我发现这本书,那兴奋劲不难想象。不过作者并没能成功达成他的意图,陌生的范畴论概念和陌生的Haskell 程序、莫名其妙的伪代码交织在一起,哪个也没有说清楚,也不知道这个概念为什么要被发明出来、有什么用处….12-15
  • 小考拉
    真的太有意思,不过越到后面发现脑子不够用啊05-03
  • Z小T读书时刻
    研究所需,要入门一下范畴论,重点看的第一部分的基本术语。Haskell部分与我关系不大,看了一点,多数跳过。不用数学语言,而用通俗语言,是适合我这种门外汉的。说真的,看了仍然是似懂非懂,但也坚持看了下来,毕竟,谁能拒绝书里那一头头可爱的猪呢?07-21
  • ymaf
    来,跟我一起复读:monad is a monoid in the category of endofunctors看了第一part和作者的讲座,可能弄明白了上面那句话,完结撒花了。02-06

猜你喜欢

大家都喜欢