THE VIDEO SHELF · elixir type system
ElixirConf 2023 - José Valim - The foundations of the 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.
Why HN readers recommended it
HN recommends it as the best detailed explanation from the language's creator of how Elixir's new type system works and why.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- ElixirConf
- Topic
- elixir type system
- Format
- talk
- Level
- advanced
- HN recommenders in dataset
- 3
- HN mentions in dataset
- 8
- Recommendation years in dataset
- 2023–2026
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
If you're into watching talks, this will be well worth your time. ElixirConf 2023 - José Valim - The foundations of the Elixir type system [VIDEO]
gregors on Hacker News · 2024-06
In Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27static typing is a means to an end. if you can achieve the same end without static typing, good right? that is the goal of spec. the creator of the language has a fantastic talk on this [VIDEO]
whalesalad on Hacker News · 2023-11
In Switching to ElixirMy understanding is "yes, but only type errors that violate guards and pattern matching". Jose's elixirconf keynote this year did a great job providing details on how how this new type system works: [VIDEO]
H12 on Hacker News · 2024-01
In Elixir is now a gradually typed language
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.