HackerTube English?

Brian Beckman: Don't fear the Monad

jasonofthel33tYouTube ↗

字幕解读

Brian Beckman 从函数组合讲起。他先用钟表算术说明结合律和单位元,再问,如果第一步的返回值除了结果还带有计算上下文,怎样把它交给下一步?他用 bind 串起这样的步骤,并通过一个接收初始输入的外层函数说明,整段计算仍然可以组合。他以 LINQ 的 SelectMany 举例,把这段访谈里的组合思路落到查询操作上。

存档字幕(转写方式未注明) ↗ · 引文按字幕原文展示,可点时间戳回看片段。

补充字幕原文 2

the types need to line up

bind is the guy who ensures that your functions are compositional

Hacker News 评论

查看 HN 原评论 ↗