---
title: "Type inference of all constructs and the next 15 months"
url: https://daily.dev/posts/type-inference-of-all-constructs-and-the-next-15-months-nvlcwe1ss
source_url: http://elixir-lang.org/blog/2026/01/09/type-inference-of-all-and-next-15/
type: article
source: "Elixir"
published: 2026-01-09T20:30:06.833Z
updated: 2026-01-09T20:34:26.901Z
tags: ["elixir", "compiler", "type-systems"]
reading_time: 10
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.

# Type inference of all constructs and the next 15 months

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

## Summary

Elixir v1.20 release candidate introduces type inference for all language constructs, marking progress toward a sound, gradual, set-theoretic type system. The release performs inference on patterns, guards, function calls, and expressions without requiring code changes. Three release candidates are planned through May 2026, progressively adding inference across clauses and dependencies. The type system uses dynamic() instead of any(), enabling warnings even with runtime types. Future milestones include typed structs and type signatures, with full implementation expected over the next 15 months through v1.22.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <http://elixir-lang.org/blog/2026/01/09/type-inference-of-all-and-next-15/>

## Similar posts on daily.dev

- [Elixir v1.20 released: now a gradually typed language](https://daily.dev/posts/elixir-v1-20-released-now-a-gradually-typed-language-081x31cuq) · Elixir · 4 upvotes · 0 comments
- [Elixir v1.20.0 released](https://daily.dev/posts/elixir-v1-20-0-released-7hyajmuxu) · Elixir Forum · 1 upvotes · 0 comments
- [Elixir v1.20.0-rc.0 released](https://daily.dev/posts/elixir-v1-20-0-rc-0-released-dwawfn6o5) · Elixir Forum · 0 upvotes · 0 comments

---

Tags: [#elixir](https://daily.dev/tags/elixir), [#compiler](https://daily.dev/tags/compiler), [#type-systems](https://daily.dev/tags/type-systems)

[View this post on daily.dev](https://daily.dev/posts/type-inference-of-all-constructs-and-the-next-15-months-nvlcwe1ss)