Record · corpus.blog/posts/01a07df2-bf8b-70b9-9612-6e509e4ae30d

Elixir v1.20 released: now a gradually typed language

Elixir · published 3 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at elixir-lang.org Wayback capture

3blogs citing

First cited: 5 Jun 2026
Most recent: 1 Jul 2026
Rank this month: not ranked
Links from this post: 17
Words captured: 2,019

Cited by

Blog

In the post

Date

Davide Aversa

The ChangeLog – June 2026 Read at the source ↗

1 Jul 2026

Will Richardson

Language Models for Programming Read at the source ↗

8 Jun 2026

mpov.timmorgan.org

I built a Ruby Interpreter Read at the source ↗

5 Jun 2026

Links from this post

Link

Host

My Future with Elixir: set-theoretic types Read at the source ↗

elixir-lang.org

https://arxiv.org/abs/2306.06391

arxiv.org

Type system updates: moving from research into development Read at the source ↗

elixir-lang.org

https://github.com/utahplt/ifT-benchmark/tree/main

github.com

https://www.cnrs.fr/

cnrs.fr

https://remote.com/

remote.com

https://www.fresha.com/

fresha.com

https://tidewave.ai/

tidewave.ai

https://elixir-lang.org/blog/strong-arrows-gradual-typing/

elixir-lang.org

https://github.com/elixir-lang/elixir/releases/tag/v1.20.0

github.com

https://github.com/josevalim/langcompilebench

github.com

https://elixir.hexdocs.pm/1.20.0/Code.html

elixir.hexdocs.pm

https://youtu.be/Ay-gnCqDw9o?t=2389

youtu.be

Lazier Binary Decision Diagrams (BDDs) for set-theoretic types Read at the source ↗

elixir-lang.org

Lazy BDDs with eager literal intersections Read at the source ↗

elixir-lang.org

Lazy BDDs with eager literal differences Read at the source ↗

elixir-lang.org

https://elixirforum.com/

elixirforum.com