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.
Elixir
ElixirLanguagesLazy BDDs with eager literal differences This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences.
Elixir
ElixirLanguagesLazy BDDs with eager literal intersections This article explores the latest batch of optimizations we did to set-theoretic types and their representation.
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
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.
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.
Elixir
ElixirLanguagesInteroperability in 2025: beyond the Erlang VM We explore the mechanisms for interoperability and portability between Elixir, other programming languages, and runtimes.
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.
Elixir
ElixirLanguagesElixir Outreach stipend for speakers and trainers We announce the Elixir Outreach stipend in partnership with Dashbit, Oban, and the Erlang Ecosystem Foundation.
Elixir
ElixirLanguagesCyanview: Coordinating Super Bowl's visual fidelity with Elixir A case study of how Elixir is being used at Cyanview.
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.
Elixir
ElixirLanguagesRemote: growing from zero to unicorn with Elixir A case study of how Elixir is being used at Remote.
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.
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.
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.
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.
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.
Elixir
ElixirLanguagesElixir v1.16 released Elixir v1.16 released with compiler diagnostics and extensive documentation.
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.
Elixir
ElixirLanguagesType system updates: moving from research into development A short status update on the effort to bring a type system into Elixir.
Elixir
ElixirLanguagesElixir v1.15 released Elixir v1.15 with improvements to compilation and boot times.
Elixir
ElixirLanguagesEmbedded and cloud Elixir for grid-management at Sparkmeter A case study of how Elixir is being used at SparkMeter.
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.
Elixir
ElixirLanguagesMy Future with Elixir: set-theoretic types We announce and explore the possibilities for bringing set-theoretic types into Elixir.
Nothing matches this filter yet.