---
title: "Elixir v1.20 released: now a gradually typed language"
url: https://daily.dev/posts/elixir-v1-20-released-now-a-gradually-typed-language-081x31cuq
source_url: https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released
type: article
source: "Elixir"
published: 2026-06-03T20:06:13.505Z
updated: 2026-06-04T02:17:02.898Z
tags: ["elixir", "general-programming"]
reading_time: 9
upvotes: 4
comments: 0
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Elixir v1.20 released: now a gradually typed language

**[Elixir](https://daily.dev/sources/elixir)** · 9 min read · 4 upvotes · 0 comments

## Summary

Elixir v1.20 introduces the first milestone of its set-theoretic gradual type system, enabling type inference and type checking across every Elixir program without requiring type annotations. The release centers on the dynamic() type, which behaves as a range that narrows as it flows through code, reporting only verified bugs — typing violations guaranteed to fail at runtime — while keeping false positives extremely low. Key features include type narrowing across guards, case clauses, and conditionals, plus typed standard library functions for tuples and maps. The release also improves compilation speed, now benchmarking as the fastest build tool among BEAM languages, and introduces a new :module_definition compiler option. Future work includes recursive types, parametric types, and eventually user-supplied type signatures.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released>

## Similar posts on daily.dev

- [Elixir v1.20.0 released](https://daily.dev/posts/elixir-v1-20-0-released-7hyajmuxu) · Elixir Forum · 1 upvotes · 0 comments
- [Type inference of all constructs and the next 15 months](https://daily.dev/posts/type-inference-of-all-constructs-and-the-next-15-months-nvlcwe1ss) · Elixir · 4 upvotes · 0 comments

---

Tags: [#elixir](https://daily.dev/tags/elixir), [#general-programming](https://daily.dev/tags/general-programming)

[View this post on daily.dev](https://daily.dev/posts/elixir-v1-20-released-now-a-gradually-typed-language-081x31cuq)