José Valim explains the foundations of Elixir's type system
ElixirConf · Talk · YouTube title: ElixirConf 2023 - José Valim - The foundations of the Elixir type system
Why it's here
HN recommends it as the best detailed explanation from the language's creator of how Elixir's new type system works and why.
What it covers
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.