PickVidsBringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
推荐理由
watch the video presentation by the author[1]
说明
这是2023年由Code Sync发布的一部演讲，主题归在Functional programming。它讲的是type systems for elixir这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：ElixirConf EU 2023 talk by Giuseppe Castagna and Guillaume Duboc on bringing set-theoretic types to Elixir, and the benefits such a type system could offer such as catching bugs.这些读者给出的理由，核心是：Linked as the authoritative background on how Elixir's gradual set-theoretic type system works.讲法不绑某一条新闻，过几年仍然可以当材料看。从2023年到2026年，有0位不同的读者在0个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把type systems for elixir变成能跟着复述的例子。
视频信息
- 频道
- Code Sync
- 时长
- 40 分 15 秒
- 发布年份
- 2023
同主题更多
- Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
- The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
- "Simple Made Easy" - Rich Hickey (2011)
- "Making Impossible States Impossible" by Richard Feldman
- William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
- The Value of Values with Rich Hickey