Typing lists and tuples in Elixir
This article explores the design decisions of typing lists and tuples in Elixir within a sound gradual type system.
Elixir 程式語言
我不是化妝品
@elixir-programming-language@baudrate.tw
Elixir 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.
Remote: growing from zero to unicorn with Elixir
A case study of how Elixir is being used at Remote.
Announcing 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.
Cyanview: Coordinating Super Bowl's visual fidelity with Elixir
A case study of how Elixir is being used at Cyanview.
Elixir Outreach stipend for speakers and trainers
We announce the Elixir Outreach stipend in partnership with Dashbit, Oban, and the Erlang Ecosystem Foundation.
Take 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…
Interoperability in 2025: beyond the Erlang VM
We explore the mechanisms for interoperability and portability between Elixir, other programming languages, and runtimes.
Elixir 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.
Lazier 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.
Type 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 const…
Lazy BDDs with eager literal intersections
This article explores the latest batch of optimizations we did to set-theoretic types and their representation.
Lazy BDDs with eager literal differences
This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences.
Elixir v1.20 released: now a gradually typed language
In 2022,we announced the effort to add set-theoretic types to Elixir. In June 2023, wepublished an award winning paper on Elixir’s type system designand said our work was transitioningfrom research to…
Lazy BDDs with eager literal differences
Ina previous article, we discussed how we optimized intersections in Elixir set-theoretic types to improve performance.In a nutshell, lazy BDDs allow us to represent set-theoretic operations at any de…
A peek inside Elixir's Parallel Compiler
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 …
Elixir v0.6.0 released
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. What’s new When w…
Elixir v0.7.1 released
Elixir v0.7.1 was released this weekend to celebrate the end of a two months journey traveling around Europe, United States and Brazil talking about and exposing Elixir to new developers. This is a mi…
Elixir v0.8.0 released
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 f…
Elixir v0.8.2 released
The past week we have released Elixir v0.8.2. It contains many bug fixes and better support for Erlang R16, including the new built-in functions insert_elem/3 and delete_elem/2. We have also added ext…