Tips无名氏No.9999999

2099-01-01 00:00:01 ID: Tips

( `д´)现充，杀！杀！杀！

无标题无名氏No.55667003

2023-02-18(六)16:34:59 ID: maxLY6f (PO主)

分享图片

无标题无名氏No.55667016

2023-02-18(六)16:35:21 ID: maxLY6f (PO主)

分享图片

无标题无名氏No.55667028

2023-02-18(六)16:35:43 ID: maxLY6f (PO主)

分享图片

无标题无名氏No.55667038

2023-02-18(六)16:36:06 ID: maxLY6f (PO主)

分享图片

无标题无名氏No.55667052

2023-02-18(六)16:36:22 ID: maxLY6f (PO主)

分享图片

无标题无名氏No.55667061

2023-02-18(六)16:36:37 ID: maxLY6f (PO主)

分享图片

无标题无名氏No.55667148

2023-02-18(六)16:40:42 ID: maxLY6f (PO主)

这两天应该干掉第三章，然后应该就是每周一章了

前两章 pdf + 第三章翻了一半 pdf
https://anonfiles.com/Ze0aJ9Ydy9/DaoFP_pdf

无标题无名氏No.55667541

2023-02-18(六)16:58:14 ID: maxLY6f (PO主)

然后说说我对这个书的看法，我现在跳着看了大概1/3，写的非常好，算是编程+范畴论里少数我看的下去的书（ctfp我就没看下去）

这个书实际上采用了一种完全不同于其他范畴论教科书的编排方法，并不是从抽象的范畴概念开始，而是从某一类非常具体的范畴（应该是叫局部小笛卡尔闭范畴）开始，逐渐建立一套能和Haskell接轨的类型系统（其实不能说建立，因为这个范畴就是那个类型系统）
这种编排方式让我想起了高中学集合的时候，高中书是从“一个班里的同学”“若干个数”中逐步抽象出来集合的概念——类比各种范畴论书从群-同态、集合-映射中抽象出来范畴概念，将范畴放在了相当抽象的位置，对我来说这个曲线有点陡峭了；
这本书将范畴论放在了更基础的位置，有点像是纯粹集合论里0等于空集，1={0} blabla，这一点我很喜欢，不过问题就是前几章可能不太严谨，就当是培养直觉了，后面有严谨的地方

这本书另一个非常吸引我的地方就是内容确实和“道”非常贴合，选取的视点也非常有哲学感，引人深思；不过小肥我语文一直不得行，很多地方逐字译出超出了我的能力，所以主要是意译，这一点欢迎指正

最后推荐几本延伸读物：
- http://www.brendanfong.com/programmingcats.html
DaoFP的作者是这门课的三个老师之一，课程材料相当于DaoFP的姊妹篇
- The little typer
神书，中学英文就能读懂所以没翻这个

无标题无名氏No.55703748

2023-02-20(一)09:00:18 ID: maxLY6f (PO主)

更新了第三章

3.3 是比较抽象的，作者编排内容的逻辑我也有点迷，总之理解这样几条就 OK 了：

1. 物件的性质完全由箭头决定（“人是一切社会关系的总和”）；
2. “观测箭头”构成集合；集合间的映射（如果满足自然律）可以切换观测视角或者观测对象；
3. 如果有一个这样的箭头间映射，那么将其作用于单位态射（自己观测自己的箭头）就能得到一个同构关系；每个同构关系也对应一个满足自然律的箭头间映射。

这一段确实相当绕，不过很快第四章就很具体了，而且第四章就真正开始编程的内容了。