PickVidsSimon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
推荐理由
Simon Peyton Jones has a great talk on YouTube [3]
说明
这是2018年由Curry On!发布的一部演讲，主题归在Programming language design。它讲的是linear types这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.这些读者给出的理由，核心是：HN recommends it as a clear introduction to linear types in GHC from the language's lead designer.讲法不绑某一条新闻，过几年仍然可以当材料看。从2018年到2020年，有3位不同的读者在3个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把linear types变成能跟着复述的例子。
视频信息
- 频道
- Curry On!
- 时长
- 1 小时 3 分
- 发布年份
- 2018