The Design Principles of the Elixir Type System

2023/06/10 by Giuseppe Castagna, Guillaume Duboc, José Valim · 5 voices · 2 citations
Arts and Humanities · #Ancient Egypt and Archaeology #Ancient Mediterranean Archaeology and History #cs.PL

paper · pdf · doi:10.22152/programming-journal.org/2024/8/4

openalex publication_date 2023/10/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/22

Abstract

International audience

Citations

• Semantic subtyping
• Recursive functions of symbolic expressions and their computation by machine, Part I
• A theory of type polymorphism in programming
• Programming with Union, Intersection, and Negation Types

Cited by

• GPotion: Embedding GPU programming in Elixir
• If-T: A Benchmark for Type Narrowing

Discussions

• The Design Principles of the Elixir Type System [hn, 5 points, 0 comments]
• The design principles of the Elixir type system [hn, 5 points, 0 comments]
• The Design Principles of the Elixir Type System [lobsters, 3 points, 0 comments]
• The type system that José Valim and co. are developing for Elixir seems… awesome. Some of the things that fall out of the way they model types are thing I have *long* wanted in TypeScript. Can’t wait [bsky, 1 points, 1 comments]
• The Design Principles of the Elixir Type System [hn, 1 points, 0 comments]

Related

• Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
• A Gradual Type System for Elixir
• Set-theoretic Types for Erlang
• Polymorphic Records for Dynamic Languages
• Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations