hackertube.io

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

ElixirConf · talk · Watch on YouTube

Programming language designFunctional programming

What it is

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 Hacker News recommends it

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

  • 3 people recommended it
  • 3 different months
  • 1 strong recommendations
  • first 2023, last 2026

What HN commenters said

  1. “If you're into watching talks, this will be well worth your time.”

    Valim on the foundations of the Elixir type system

    gregors, 2024-06 · Strong recommendation · in “Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27”

  2. “the creator of the language has a fantastic talk on this”

    Language creator on achieving typing goals without static typing

    whalesalad, 2023-11 · Recommendation · in “Switching to Elixir”

  3. “Jose's elixirconf keynote this year did a great job providing details on how how this new type system works”

    Details how the new Elixir type system works

    H12, 2024-01 · Recommendation · in “Elixir is now a gradually typed language”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: elixir, gradual typing, set-theoretic types, type systems, jose valim

Also recommended by the same people