/

Elixir

25 stories

Elixir

ElixirLanguagesElixir v1.20 released: now a gradually typed language From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.

June 3
Elixir

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

March 19
Elixir

ElixirLanguagesLazy BDDs with eager literal intersections This article explores the latest batch of optimizations we did to set-theoretic types and their representation.

February 26
Elixir

ElixirLanguagesType inference of all constructs and the next 15 months 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 increasi

January 9
Elixir

ElixirLanguagesLazier Binary Decision Diagrams (BDDs) for set-theoretic types This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them.

December 2
Elixir

ElixirLanguagesElixir v1.19 released: enhanced type checking and up to 4x faster compilation for large projects Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.

October 16
Elixir

ElixirLanguagesInteroperability in 2025: beyond the Erlang VM We explore the mechanisms for interoperability and portability between Elixir, other programming languages, and runtimes.

August 18
Elixir

ElixirLanguagesTake part in the Global Elixir Meetups week 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.

August 5
Elixir

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

June 2
Elixir

ElixirLanguagesCyanview: Coordinating Super Bowl's visual fidelity with Elixir A case study of how Elixir is being used at Cyanview.

March 25
Elixir

ElixirLanguagesAnnouncing Elixir OpenChain Certification 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.

February 26
Elixir

ElixirLanguagesRemote: growing from zero to unicorn with Elixir A case study of how Elixir is being used at Remote.

January 21
Elixir

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

December 19
Elixir

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

August 28
Elixir

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

August 15
Elixir

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

June 12
Elixir

ElixirLanguagesScaling a streaming service to hundreds of thousands of concurrent viewers at Veeps A case study of how Elixir is being used at Veeps.

March 5
Elixir

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

December 22
Elixir

ElixirLanguagesStrong arrows: a new approach to gradual typing An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.

September 20
Elixir

ElixirLanguagesType system updates: moving from research into development A short status update on the effort to bring a type system into Elixir.

June 22
Elixir

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

June 19
Elixir

ElixirLanguagesEmbedded and cloud Elixir for grid-management at Sparkmeter A case study of how Elixir is being used at SparkMeter.

March 9
Elixir

ElixirLanguagesCheatsheets and 7 other ExDoc features that improve the developer experience 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.

December 22
Elixir

ElixirLanguagesMy Future with Elixir: set-theoretic types We announce and explore the possibilities for bringing set-theoretic types into Elixir.

October 5