写作绅士,读作丧尸 X岛揭示板
顺猴者昌 逆猴者亡 首页版规 |用户系统 |移动客户端下载 | 丧尸路标 | | 常用图串及路标 | 请关注 公众号:【矛盾苇草】| 人,是会思考的芦苇
常用串:·豆知识·跑团板聊天室·公告汇总串·X岛路标

No.55666696 - 争取周更 - 科学


回应模式
No.55666696
名 称
E-mail
标题
颜文字
正文
附加图片
•涵盖各类科学的讨论板块
•可盖棺定论各热门事件/关注后续/谣言粉碎
•干货什么的最喜欢了!
•请注意发言所包含的信息量,信息量过低的内容将移回综一
•引用请注明出处,民科、伪科学退散

争取周更 DaoFP 翻译串 2023-02-18(六)16:20:39 ID:maxLY6f [举报] [订阅] [只看PO] No.55666696 [回应] 管理
《函数式编程之道》 by Bartosz Milewski

https://github.com/BartoszMilewski/DaoFP

(Po 既非计算机专业亦非数学专业,对范畴论/类型论只有一些粗浅的知识,欢迎指出问题/讨论)
Tips 无名氏 2099-01-01 00:00:01 ID:Tips超级公民 [举报] No.9999999 管理
发芽的洪! ︵ᵟຶ
( `д´)ジ
无标题 无名氏 2023-02-18(六)17:09:28 ID:K8jTcIb [举报] No.55667768 管理
>>No.55667541
比个大母猪 ゚∀゚)b
无标题 无名氏 2023-02-18(六)17:35:36 ID:K8jTcIb [举报] No.55668347 管理
看完了,感觉有点意思。
虽然我没学过lisp或者Haskell,但是前几年函数式编程在工程领域非常流行,所以就粗略了解了一些思想,现在工作中有很大一部分内容,也是基于函数式编程的框架来做的。
实际的工程领域,我感觉函数式编程通常用来解决过程编程处理起来比较复杂的问题,例如分布式计算,例如异步处理等。
而在我的理解上,这些函数式编程框架更多的是把巨大而复杂的逻辑隐藏在了框架之下,写的时候有多爽,debug的时候就有多痛苦。函数式编程在解决了一些问题的时候,带来了其他的问题,而且带来的问题隐藏在巨大的框架之内,为了解决问题,我们要去学习整个巨大的框架的每一处细节。
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:00:18 ID:maxLY6f (PO主) [举报] No.55703748 管理
更新了第三章

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

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

这一段确实相当绕,不过很快第四章就很具体了,而且第四章就真正开始编程的内容了。
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:00:37 ID:maxLY6f (PO主) [举报] No.55703753 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:00:54 ID:maxLY6f (PO主) [举报] No.55703756 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:01:12 ID:maxLY6f (PO主) [举报] No.55703761 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:01:36 ID:maxLY6f (PO主) [举报] No.55703766 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:01:56 ID:maxLY6f (PO主) [举报] No.55703769 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:02:13 ID:maxLY6f (PO主) [举报] No.55703774 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:02:29 ID:maxLY6f (PO主) [举报] No.55703779 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-20(一)09:02:46 ID:maxLY6f (PO主) [举报] No.55703782 管理
分享图片
无标题 无名氏 2023-02-20(一)10:08:16 ID:K8jTcIb [举报] No.55704767 管理
好好好 ゚∀゚)b
po搞完能不能出个pdf|∀゚
无标题 无名氏 2023-02-21(二)04:22:53 ID:8GMQIMY [举报] No.55724639 管理
好串我住。
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-26(日)20:03:47 ID:maxLY6f (PO主) [举报] No.55847151 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-26(日)20:04:04 ID:maxLY6f (PO主) [举报] No.55847160 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-26(日)20:04:19 ID:maxLY6f (PO主) [举报] No.55847169 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-26(日)20:04:34 ID:maxLY6f (PO主) [举报] No.55847177 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-26(日)20:04:53 ID:maxLY6f (PO主) [举报] No.55847184 管理
分享图片
收起 查看大图 向左旋转 向右旋转
无标题 无名氏 2023-02-26(日)20:05:11 ID:maxLY6f (PO主) [举报] No.55847197 管理
分享图片

UP主: