PickVidsEdward Kmett - Type Classes vs. the World
推荐理由
Ed Kmett's fantastic "Typeclasses v. the World" talk covers
强烈推荐shadytrees · 原文
说明
这是2015年由Boston Haskell发布的一部演讲，主题归在Programming language design。它讲的是type classes这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances. It covers why uniqueness of instances matters for reasoning and refactoring.这些读者给出的理由，核心是：HN points to it as the definitive explanation of why coherence and the orphan rule matter, in debates over Haskell, Rust traits, OCaml modules and Elm.讲法不绑某一条新闻，过几年仍然可以当材料看。从2015年到2024年，有2位不同的读者在2个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把type classes变成能跟着复述的例子。
视频信息
- 频道
- Boston Haskell
- 时长
- 1 小时 42 分
- 发布年份
- 2015