Elixir 程式語言

Welcome to our series of case studies about companies using Elixir in production. See all cases we have published so far. Duffel is building the new software backbone of the travel industry. Their fir…

Welcome to our series of case studies about companies using Elixir in production. See all cases we have published so far. Community is a platform that enables instant and direct communication with the…

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. Overall this is a small release, which co…

Welcome to our series of case studies about companies using Elixir in production. See all cases we have published so far. X-Plane 11 is the world’s most comprehensive and powerful flight simulator for…

Elixir v1.13 has just been released! Generally speaking, new Elixir versions include improvements to its primary API, the one Elixir developers use every day, and also to the foundation that powers it…

This is article contains excerpts from my keynotes at ElixirConf Europe 2022 and ElixirConf US 2022. In May 2022, we have celebrated 10 years since Elixir v0.5, the first public release of Elixir, was…

Welcome to our series of case studies about companies using Elixir in production. See all cases we have published so far. SparkMeter is a company on a mission to increase access to electricity. They o…

A year ago, at ElixirConf EU 2022, we announced an effort to research and develop a type system for Elixir (video presentation) (written report). This work is happening under the lead of Giuseppe Cast…

Elixir v1.16 has just been released. 🎉 The Elixir team continues improving the developer experience via tooling, documentation, and precise feedback, while keeping the language stable and compatible. …

Elixir v1.17 has just been released. 🎉 This release introduces set-theoretic types into a handful of language constructs. While there are still many steps ahead of us, this important milestone already…

We have been working on a type system for the Elixir programming language. The type system provides sound gradual typing: it can safely interface static and dynamic code, and if the program type check…

Welcome to our series of case studies about companies using Elixir in production. Remote is the everywhere employment platform enabling companies to find, hire, manage, and pay people anywhere across …

How do you coordinate visual fidelity across two hundred cameras for a live event like the Super Bowl? The answer is: by using the craft of camera shading, which involves adjusting each camera to ensu…

Update: Our first Global Elixir Meetups was a success with 46 meetups spread across six continents. Thanks to everyone who organized and attended. See you next time! We are launching Global Elixir Mee…

Elixir v1.19 brings further improvements to the type system and compilation times, allowing us to find more bugs, faster. Type system improvements This release improves the type system by adding type …

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…

In a previous article, we discussed how Elixir changed its set-theoretic types representation from Disjunctive Normal Forms (DNFs) to Lazy Binary Decision Diagrams (Lazy BDDs). In a nutshell, DNFs all…

The Elixir team and the CNRS are working on a set-theoretic type system for Elixir which, simply put, is a type-system powered by unions, intersections, and negations. As part of the implementation of…

The Erlang Virtual Machine has, historically, provided three main options for interoperability with other languages and ecosystems, with different degrees of isolation: NIFs (Native Implemented Functi…

Dashbit, Oban, and the Erlang Ecosystem Foundation (EEF) are glad to announce a new program, which we will trial over the next 12 months, called “Elixir Outreach”. Our goal is to provide funds to comm…