The Design Principles of the Elixir Type System · HackerPapers discussions

The Design Principles of the Elixir Type System — HN submission

Thu, 04 Jun 2026 11:42:04 GMT

The design principles of the Elixir type system

5 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Design Principles of the Elixir Type System — mentioned by baobun

Tue, 04 Nov 2025 01:07:34 GMT

> its not just the lack of types altogether ?? Elixir is strongly but dynamically typed. On the progress of static typing: https://arxiv.org/abs/2306.06391

Paper and discussion history. A mention is not an endorsement.

The Design Principles of the Elixir Type System — mentioned by pjam

Wed, 12 Jun 2024 12:25:52 GMT

There’s a paper about it, linked from the blog post: https://arxiv.org/abs/2306.06391

Paper and discussion history. A mention is not an endorsement.

The Design Principles of the Elixir Type System — mentioned by djaouen

Thu, 30 May 2024 06:36:41 GMT

And with Elixir's gradual type system [1] coming soon, this is looking to be quite an eventful year for José and Team. Bravo! [1] https://arxiv.org/abs/2306.06391

Paper and discussion history. A mention is not an endorsement.

The Design Principles of the Elixir Type System — mentioned by pzmarzly

Sat, 25 Nov 2023 00:35:43 GMT

> The hottest news in the Elixir community is that it is currently experimenting with set theoretic type / gradual typing. Some french PHD is working on it To expand on it: you can read the proposal[0] or watch the video presentation by the author[1]. It is a very similar system to Typescript, with (at the first glance) only minor differences: "any" becomes "term", primitive constants are not singleton types (so you cannot write programs with type system alone... yet), and I expect some edge cases around generics will be handled differently (especially since you cannot specify types yourself…

Paper and discussion history. A mention is not an endorsement.

The Design Principles of the Elixir Type System — HN submission

Mon, 09 Oct 2023 18:48:10 GMT

The Design Principles of the Elixir Type System

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Design Principles of the Elixir Type System — mentioned by gooseus

Fri, 15 Sep 2023 12:41:25 GMT

Paper: https://arxiv.org/abs/2306.06391

Paper and discussion history. A mention is not an endorsement.

The Design Principles of the Elixir Type System — HN submission

Sat, 09 Sep 2023 13:36:54 GMT

The Design Principles of the Elixir Type System

5 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.