Category Theory 1.1: Motivation and Philosophy
推荐理由
I think they are a very nice place to start learning these things.
说明
这是2016年由Bartosz Milewski发布的一部课堂讲座,主题归在Functional programming。它讲的是category theory这一支里的具体问题,而不是把整个领域扫一遍。适合第一次接触、还没有先修课的人。内容上可以概括成:The first lecture in Bartosz Milewski's category theory series for programmers. It covers the motivation and philosophy behind category theory and why composition matters for handling complexity.这些读者给出的理由,核心是:HN commenters repeatedly name it as the friendliest entry point to category theory for working programmers.讲法不绑某一条新闻,过几年仍然可以当材料看。从2016年到2026年,有11位不同的读者在9个不同月份把它推荐出来,其中明确叫别人去看的有2次。节奏接近上课,可以暂停做笔记。它假设你愿意跟着一条推导走完。如果已经会了基本定义,就把注意力放在它怎么把category theory变成能跟着复述的例子。
视频信息
- 频道
- Bartosz Milewski
- 时长
- 46 分 46 秒
- 发布年份
- 2016
同主题更多
- Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
- The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
- "Simple Made Easy" - Rich Hickey (2011)
- "Making Impossible States Impossible" by Richard Feldman
- William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
- The Value of Values with Rich Hickey