ElixirConf 2023 - José Valim - The foundations of the Elixir type system

ElixirConf · 37.9K views · 2023-09-15 · 1:11:42

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

HN recommends it as the best detailed explanation from the language's creator of how Elixir's new type system works and why.

Recommended by 3 HN people across 3 months · HN mentions 2023–2026

Topics

Programming language design Functional programming

What people said

gregors · 2024-06 · Strong recommendation
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]
Read the original HN comment ↗

H12 · 2024-01 · Recommendation
My 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]
Read the original HN comment ↗

whalesalad · 2023-11 · Recommendation
static 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]
Read the original HN comment ↗

Sources

Video by ElixirConf, played through YouTube.

HN Library · Source license

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks

SaaS & AI candidates: Topic keywords do not match
Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources