Elixir Blog

Elixir Blog2026-06-03T00:00:00.000Zhttps://elixir-lang.org/Elixir v1.20 released: now a gradually typed languagehttps://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/2026-06-03T00:00:00.000ZJosé Valim

From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.

Lazy BDDs with eager literal differenceshttps://elixir-lang.org/blog/2026/03/19/lazy-bdds-with-eager-literal-differences/2026-03-19T00:00:00.000ZJosé Valim

This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences.

Lazy BDDs with eager literal intersectionshttps://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/2026-02-26T00:00:00.000ZJosé Valim

This article explores the latest batch of optimizations we did to set-theoretic types and their representation.

Type inference of all constructs and the next 15 monthshttps://elixir-lang.org/blog/2026/01/09/type-inference-of-all-and-next-15/2026-01-09T00:00:00.000ZJosé Valim

Today we celebrate 15 years since Elixir's first commit! To mark the occasion, we are glad to announce the first release candidate for Elixir v1.20, which performs type inference of all language constructs, with increasing precision.

Lazier Binary Decision Diagrams (BDDs) for set-theoretic typeshttps://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/2025-12-02T00:00:00.000ZJosé Valim, Guillaume Duboc

This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them.

Elixir v1.19 released: enhanced type checking and up to 4x faster compilation for large projectshttps://elixir-lang.org/blog/2025/10/16/elixir-v1-19-0-released/2025-10-16T00:00:00.000ZJosé Valim

Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.

Interoperability in 2025: beyond the Erlang VMhttps://elixir-lang.org/blog/2025/08/18/interop-and-portability/2025-08-18T00:00:00.000ZWojtek Mach, José Valim

We explore the mechanisms for interoperability and portability between Elixir, other programming languages, and runtimes.

Take part in the Global Elixir Meetups weekhttps://elixir-lang.org/blog/2025/08/05/global-elixir-meetups/2025-08-05T00:00:00.000ZJosé Valim

We are launching Global Elixir Meetups - a week where the Elixir community organizes meetups around the world to meet, learn from each other, and discuss everything related to Elixir and the Erlang VM.

Elixir Outreach stipend for speakers and trainershttps://elixir-lang.org/blog/2025/06/02/elixir-outreach-stipend-for-speakers/2025-06-02T00:00:00.000ZJosé Valim

We announce the Elixir Outreach stipend in partnership with Dashbit, Oban, and the Erlang Ecosystem Foundation.

Cyanview: Coordinating Super Bowl's visual fidelity with Elixirhttps://elixir-lang.org/blog/2025/03/25/cyanview-elixir-case/2025-03-25T00:00:00.000ZLars Wikman, José Valim

A case study of how Elixir is being used at Cyanview.

Announcing Elixir OpenChain Certificationhttps://elixir-lang.org/blog/2025/02/26/elixir-openchain-certification/2025-02-26T00:00:00.000ZThe Elixir Team

The Elixir project now meets OpenChain (ISO/IEC 5230). Each release ships with Source SBoMs in CycloneDX 1.6 and SPDX 2.3, plus attestation.

Remote: growing from zero to unicorn with Elixirhttps://elixir-lang.org/blog/2025/01/21/remote-elixir-case/2025-01-21T00:00:00.000ZHugo Baraúna

A case study of how Elixir is being used at Remote.

Elixir v1.18 released: type checking of calls, LSP listeners, built-in JSON, and morehttps://elixir-lang.org/blog/2024/12/19/elixir-v1-18-0-released/2024-12-19T00:00:00.000ZJosé Valim

Elixir v1.18 released: type checking of function calls, Language Server listeners, built-in JSON, ExUnit improvements, mix format --migrate, and more.

Typing lists and tuples in Elixirhttps://elixir-lang.org/blog/2024/08/28/typing-lists-and-tuples/2024-08-28T00:00:00.000ZJosé Valim

This article explores the design decisions of typing lists and tuples in Elixir within a sound gradual type system.

Announcing the official Elixir Language Server teamhttps://elixir-lang.org/blog/2024/08/15/welcome-elixir-language-server-team/2024-08-15T00:00:00.000ZJosé Valim

Announcing the official Elixir Language Server team to work on the code intelligence infrastructure to be used across tools and editors.

Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 supporthttps://elixir-lang.org/blog/2024/06/12/elixir-v1-17-0-released/2024-06-12T00:00:00.000ZAndrea Leopardi

Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support.

Scaling a streaming service to hundreds of thousands of concurrent viewers at Veepshttps://elixir-lang.org/blog/2024/03/05/veeps-elixir-case/2024-03-05T00:00:00.000ZHugo Baraúna

A case study of how Elixir is being used at Veeps.

Elixir v1.16 releasedhttps://elixir-lang.org/blog/2023/12/22/elixir-v1-16-0-released/2023-12-22T00:00:00.000ZJosé Valim

Elixir v1.16 released with compiler diagnostics and extensive documentation.

Strong arrows: a new approach to gradual typinghttps://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/2023-09-20T00:00:00.000ZJosé Valim

An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.

Type system updates: moving from research into developmenthttps://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/2023-06-22T00:00:00.000ZJosé Valim

A short status update on the effort to bring a type system into Elixir.

Elixir v1.15 releasedhttps://elixir-lang.org/blog/2023/06/19/elixir-v1-15-0-released/2023-06-19T00:00:00.000ZJosé Valim

Elixir v1.15 with improvements to compilation and boot times.

Embedded and cloud Elixir for grid-management at Sparkmeterhttps://elixir-lang.org/blog/2023/03/09/embedded-and-cloud-elixir-at-sparkmeter/2023-03-09T00:00:00.000ZHugo Baraúna

A case study of how Elixir is being used at SparkMeter.

Cheatsheets and 7 other ExDoc features that improve the developer experiencehttps://elixir-lang.org/blog/2022/12/22/cheatsheets-and-8-other-features-in-exdoc-that-improve-the-developer-experience/2022-12-22T00:00:00.000ZHugo Baraúna

This post explains the motivation behind the new ExDoc Cheatsheet feature. It also highlights other ExDoc features that show how ExDoc has been evolving to make the documentation experience in Elixir better and better.

My Future with Elixir: set-theoretic typeshttps://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/2022-10-05T00:00:00.000ZJosé Valim

We announce and explore the possibilities for bringing set-theoretic types into Elixir.

Elixir v1.14 releasedhttps://elixir-lang.org/blog/2022/09/01/elixir-v1-14-0-released/2022-09-01T00:00:00.000ZAndrea Leopardi

Elixir v1.14 is out with a focus on debugging and developer experience.

Elixir v1.13 releasedhttps://elixir-lang.org/blog/2021/12/03/elixir-v1-13-0-released/2021-12-03T00:00:00.000ZJosé Valim

Elixir v1.13 is out with a focus on developer tooling.

Embracing open data with Elixir at the Ministry of Ecological Transition in Francehttps://elixir-lang.org/blog/2021/11/10/embracing-open-data-with-elixir-at-the-ministry-of-ecological-transition-in-france/2021-11-10T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at the Ministry of Ecological Transition in France.

Bootstrapping a multiplayer server with Elixir at X-Planehttps://elixir-lang.org/blog/2021/07/29/bootstraping-a-multiplayer-server-with-elixir-at-x-plane/2021-07-29T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at X-Plane.

Social virtual spaces with Elixir at Mozillahttps://elixir-lang.org/blog/2021/06/02/social-virtual-spaces-with-elixir-at-mozilla/2021-06-02T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Mozilla.

Elixir v1.12 releasedhttps://elixir-lang.org/blog/2021/05/19/elixir-v1-12-0-released/2021-05-19T00:00:00.000ZJosé Valim

Elixir v1.12 is out with improvements to scripting, tighter Erlang/OTP 24 integration, stepped ranges, and dozen of new functions across the standard library.

Marketing and sales intelligence with Elixir at PepsiCohttps://elixir-lang.org/blog/2021/04/02/marketing-and-sales-intelligence-with-elixir-at-pepsico/2021-04-02T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at PepsiCo.

Social messaging with Elixir at Communityhttps://elixir-lang.org/blog/2021/02/03/social-messaging-with-elixir-at-community/2021-02-03T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Community.

Orchestrating computer vision with Elixir at V7https://elixir-lang.org/blog/2021/01/13/orchestrating-computer-vision-with-elixir-at-v7/2021-01-13T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at V7.

Integrating travel with Elixir at Duffelhttps://elixir-lang.org/blog/2020/12/10/integrating-travel-with-elixir-at-duffel/2020-12-10T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Duffel.

Real-time collaboration with Elixir at Slabhttps://elixir-lang.org/blog/2020/11/17/real-time-collaboration-with-elixir-at-slab/2020-11-17T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Slab.

Delivering social change with Elixir at Change.orghttps://elixir-lang.org/blog/2020/10/27/delivering-social-change-with-elixir-at-change.org/2020-10-27T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Change.org.

Real time communication at scale with Elixir at Discordhttps://elixir-lang.org/blog/2020/10/08/real-time-communication-at-scale-with-elixir-at-discord/2020-10-08T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Discord.

Elixir v1.11 releasedhttps://elixir-lang.org/blog/2020/10/06/elixir-v1-11-0-released/2020-10-06T00:00:00.000ZJosé Valim

Elixir v1.11 is out with improvements to the compiler and tighter integration with Erlang/OTP.

PaaS with Elixir at Herokuhttps://elixir-lang.org/blog/2020/09/24/paas-with-elixir-at-heroku/2020-09-24T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Heroku.

Embedded Elixir at Farmbothttps://elixir-lang.org/blog/2020/08/20/embedded-elixir-at-farmbot/2020-08-20T00:00:00.000ZJosé Valim

A case study of how Elixir is being used at Farmbot.

Elixir v1.10 releasedhttps://elixir-lang.org/blog/2020/01/27/elixir-v1-10-0-released/2020-01-27T00:00:00.000ZJosé Valim

Elixir v1.10 is out with standard library, compiler, and releases improvements.

Elixir v1.9 releasedhttps://elixir-lang.org/blog/2019/06/24/elixir-v1-9-0-released/2019-06-24T00:00:00.000ZJosé Valim

Elixir v1.9 is out with releases support, improved configuration and more.

Mint, a new HTTP client for Elixirhttps://elixir-lang.org/blog/2019/02/25/mint-a-new-http-library-for-elixir/2019-02-25T00:00:00.000ZEric Meadows-Jönsson

Mint is a new low-level HTTP client that aims to provide a small and functional core that others can build on top.

Elixir v1.8 releasedhttps://elixir-lang.org/blog/2019/01/14/elixir-v1-8-0-released/2019-01-14T00:00:00.000ZJosé Valim

Elixir v1.8 comes with many improvements at the infrastructure level, improving compilation time, speeding up common patterns, and adding features around introspection of the system.

Elixir v1.7 releasedhttps://elixir-lang.org/blog/2018/07/25/elixir-v1-7-0-released/2018-07-25T00:00:00.000ZJosé Valim

Elixir v1.7 includes many quality of life improvements, focusing on documentation, Logger and ExUnit, as well as a new Elixir Core team member.

Google Summer of Code 2018 projectshttps://elixir-lang.org/blog/2018/06/28/gsoc-projects/2018-06-28T00:00:00.000ZAndrea Leopardi

Once again Elixir is participating in Google Summer of Code 2018. In this post, we'll have a look at the active projects.

Elixir v1.6 releasedhttps://elixir-lang.org/blog/2018/01/17/elixir-v1-6-0-released/2018-01-17T00:00:00.000ZJosé Valim

Elixir v1.6 includes a code formatter, defguard, dynamic supervision and new module attributes that improves code quality and the developer experience.

StreamData: Property-based testing and data generationhttps://elixir-lang.org/blog/2017/10/31/stream-data-property-based-testing-and-data-generation-for-elixir/2017-10-31T00:00:00.000ZAndrea Leopardi

We are working on data generation and property-based testing for the next versions of Elixir.

Elixir v1.5 releasedhttps://elixir-lang.org/blog/2017/07/25/elixir-v1-5-0-released/2017-07-25T00:00:00.000ZJosé Valim

Elixir v1.5 integrates with Erlang/OTP 20 and bring changes that improves the language reach and the developer experience.

Elixir v1.4 releasedhttps://elixir-lang.org/blog/2017/01/05/elixir-v1-4-0-released/2017-01-05T00:00:00.000ZJosé Valim

Elixir v1.4 brings many improvements to the language, its standard library and the Mix build tool.

Announcing GenStagehttps://elixir-lang.org/blog/2016/07/14/announcing-genstage/2016-07-14T00:00:00.000ZJosé Valim

GenStage is a new Elixir behaviour for exchanging events with back-pressure between Elixir processes. In this blog post we will cover the background that led us to GenStage, some example use cases, and what we are exploring for future releases.

Elixir v1.3 releasedhttps://elixir-lang.org/blog/2016/06/21/elixir-v1-3-0-released/2016-06-21T00:00:00.000ZJosé Valim

Elixir v1.3 brings many improvements to the language, the compiler and its tooling, specially Mix (Elixir's build tool) and ExUnit (Elixir's test framework).

Elixir v1.2 releasedhttps://elixir-lang.org/blog/2016/01/03/elixir-v1-2-0-released/2016-01-03T00:00:00.000ZJosé Valim

Elixir v1.2 brings enhancements, bug fixes, performance improvements and more into Elixir.

Elixir v1.1 releasedhttps://elixir-lang.org/blog/2015/09/28/elixir-v1-1-0-released/2015-09-28T00:00:00.000ZJosé Valim

Elixir v1.1 brings enhancements, bug fixes, performance improvements and more into Elixir.

Elixir v1.0 releasedhttps://elixir-lang.org/blog/2014/09/18/elixir-v1-0-0-released/2014-09-18T00:00:00.000ZJosé Valim

Elixir v1.0 is finally out.

Elixir v0.15.0 releasedhttps://elixir-lang.org/blog/2014/08/07/elixir-v0-15-0-released/2014-08-07T00:00:00.000ZJosé Valim

Elixir v0.15.0 introduces Elixir's Logger, Mix aliases and is the last stop before Elixir v1.0. We are also glad to welcome Alexei into our team.

Elixir v0.14.0 releasedhttps://elixir-lang.org/blog/2014/06/17/elixir-v0-14-0-released/2014-06-17T00:00:00.000ZJosé Valim

Elixir v0.14.0 is released and expands the work on structs and bringing more of OTP right into Elixir and Mix.

Elixir v0.13.0 released, hex.pm and ElixirConf announcedhttps://elixir-lang.org/blog/2014/04/21/elixir-v0-13-0-released/2014-04-21T00:00:00.000ZJosé Valim

Elixir v0.13.0 comes with substantial improvements to the language: maps, structs, comprehensiona and more. It also marks the announcement of the hex.pm package manager and the announcement of ElixirConf.

Elixir v0.12.0 releasedhttps://elixir-lang.org/blog/2013/12/15/elixir-v0-12-0-released/2013-12-15T00:00:00.000ZJosé Valim

Elixir v0.12.0 is out with improved enumerables, build patterns and welcoming a new member to our team.

Elixir's new continuable enumeratorshttps://elixir-lang.org/blog/2013/12/11/elixir-s-new-continuable-enumerators/2013-12-11T00:00:00.000ZPeter Minten

In 0.12.0 Elixir's enumerators have gained the ability to suspend value.

Elixir v0.11.0 releasedhttps://elixir-lang.org/blog/2013/11/05/elixir-v0-11-0-released/2013-11-05T00:00:00.000ZJosé Valim

Elixir v0.11.0 is out and it focus on improving and optimizing the patterns often used by the community.

Elixir Design Goalshttps://elixir-lang.org/blog/2013/08/08/elixir-design-goals/2013-08-08T00:00:00.000ZJosé Valim

Highlight of Elixir design goals.

Elixir v0.10.0 releasedhttps://elixir-lang.org/blog/2013/07/13/elixir-v0-10-0-released/2013-07-13T00:00:00.000ZJosé Valim

Elixir v0.10.0 is out with support for streams, sets, pretty printing and many improvements for Mix and ExUnit.

Elixir v0.9.0 releasedhttps://elixir-lang.org/blog/2013/05/23/elixir-v0-9-0-released/2013-05-23T00:00:00.000ZJosé Valim

Elixir v0.9.0 is released with support for reducers, umbrella projects, faster compilation times and dropped support for R15 and earlier OTP versions.

Elixir on Xenhttps://elixir-lang.org/blog/2013/05/02/elixir-on-xen/2013-05-02T00:00:00.000ZJosé Valim

The Erlang on Xen team has added support for Elixir and we will tell you how you can use it.

Elixir v0.8.2 releasedhttps://elixir-lang.org/blog/2013/04/29/elixir-v0-8-2-released/2013-04-29T00:00:00.000ZJosé Valim

Elixir v0.8.2 is released with bug fixes, better Erlang R16 support and doctests.

Google Summer of Code 2013https://elixir-lang.org/blog/2013/04/19/google-summer-of-code-2013/2013-04-19T00:00:00.000ZJosé Valim

Elixir is taking part in Google Summer of Code 2013! Are you a student? Join us.

Elixir v0.8.0 releasedhttps://elixir-lang.org/blog/2013/01/27/elixir-v0-8-0-released/2013-01-27T00:00:00.000ZJosé Valim

On the last 9th January, we celebrated two years since Elixir's first commit and to celebrate this occasion we have prepared a big release. Elixir v0.8 is out, with documentation, optimizations, bug fixes and shiny new features. Let's take a look at them.

Elixir v0.7.2 releasedhttps://elixir-lang.org/blog/2012/12/04/elixir-v0-7-2-released/2012-12-04T00:00:00.000ZYurii Rashkovskii

Elixir v0.7.2 is released, new, improved type specifications syntax and many other improvements.

Elixir v0.7.1 releasedhttps://elixir-lang.org/blog/2012/11/18/elixir-v0-7-1-released/2012-11-18T00:00:00.000ZJosé Valim

Elixir v0.7.1 was released to celebrate the end of a two months journey traveling around Europe, United States and Brazil talking about Elixir.

Elixir v0.7.0 releasedhttps://elixir-lang.org/blog/2012/10/20/elixir-v0-7-0-released/2012-10-20T00:00:00.000ZJosé Valim

Elixir v0.7.0 is released with many improvements! Read on for more information.

Elixir v0.6.0 releasedhttps://elixir-lang.org/blog/2012/08/01/elixir-v0-6-0-released/2012-08-01T00:00:00.000ZJosé Valim

We have finally released Elixir v0.6.0! This release includes a build tool called Mix, support for Erlang typespecs, many improvements to IEx and improved IO, File and Macro support.

Elixir v0.5.0 releasedhttps://elixir-lang.org/blog/2012/05/25/elixir-v0-5-0-released/2012-05-25T00:00:00.000ZJosé Valim

We have finally released Elixir v0.5.0! This marks the first release since the language was rewritten. In this blog post, we will discuss what we achieved during this time and what are the next steps.

A peek inside Elixir's Parallel Compilerhttps://elixir-lang.org/blog/2012/04/24/a-peek-inside-elixir-s-parallel-compiler/2012-04-24T00:00:00.000ZJosé Valim

Today, a parallel compiler just landed in Elixir main. The goal of the parallel compiler is to compile files in parallel, automatically detecting dependencies between files. In this blog post, we are going to take a peek into the parallel compiler internals and learn more about Erlang and Elixir in the process.