Brian Beckman: Don't fear the Monad
jasonofthel33tYouTube ↗
字幕解读
Brian Beckman 从函数组合讲起。他先用钟表算术说明结合律和单位元,再问,如果第一步的返回值除了结果还带有计算上下文,怎样把它交给下一步?他用 bind 串起这样的步骤,并通过一个接收初始输入的外层函数说明,整段计算仍然可以组合。他以 LINQ 的 SelectMany 举例,把这段访谈里的组合思路落到查询操作上。
存档字幕(转写方式未注明) ↗ · 引文按字幕原文展示,可点时间戳回看片段。
补充字幕原文 2
the types need to line upbind is the guy who ensures that your functions are compositional