PickVidsElixirConf 2023 - José Valim - The foundations of the Elixir type system
推荐理由
If you're into watching talks, this will be well worth your time.
强烈推荐gregors · 原文
说明
这是2023年由ElixirConf发布的一部演讲，主题归在Programming language design。它讲的是elixir type system这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.这些读者给出的理由，核心是：HN recommends it as the best detailed explanation from the language's creator of how Elixir's new type system works and why.它贴着当时的技术，看的时候要记得那是那个年份的判断。从2023年到2026年，有3位不同的读者在3个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把elixir type system变成能跟着复述的例子。
视频信息
- 频道
- ElixirConf
- 时长
- 1 小时 11 分
- 发布年份
- 2023