来自 Elixir Blog 的信息
6月3日周三
Elixir 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.
3月19日周四
Lazy BDDs with eager literal differences
This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences.
2月26日周四
Lazy BDDs with eager literal intersections
This article explores the latest batch of optimizations we did to set-theoretic types and their representation.
1月9日周五
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 constructs, with increasing precision.
12月2日周二
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.
10月16日周四
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.
8月18日周一
Interoperability in 2025: beyond the Erlang VM
We explore the mechanisms for interoperability and portability between Elixir, other programming languages, and runtimes.
8月5日周二
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.
6月2日周一
Elixir Outreach stipend for speakers and trainers
We announce the Elixir Outreach stipend in partnership with Dashbit, Oban, and the Erlang Ecosystem Foundation.
3月25日周二
Cyanview: Coordinating Super Bowl's visual fidelity with Elixir
A case study of how Elixir is being used at Cyanview.
2月26日周三
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.
1月21日周二
Remote: growing from zero to unicorn with Elixir
A case study of how Elixir is being used at Remote.
12月19日周四
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.
8月28日周三
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.
8月15日周四
Announcing 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.
6月12日周三
Elixir 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.
3月5日周二
Scaling a streaming service to hundreds of thousands of concurrent viewers at Veeps
A case study of how Elixir is being used at Veeps.
12月22日周五
Elixir v1.16 released
Elixir v1.16 released with compiler diagnostics and extensive documentation.
9月20日周三
Strong arrows: a new approach to gradual typing
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
6月22日周四
Type system updates: moving from research into development
A short status update on the effort to bring a type system into Elixir.
6月19日周一
Elixir v1.15 released
Elixir v1.15 with improvements to compilation and boot times.
3月9日周四
Embedded and cloud Elixir for grid-management at Sparkmeter
A case study of how Elixir is being used at SparkMeter.
12月22日周四
Cheatsheets 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.
10月5日周三
My Future with Elixir: set-theoretic types
We announce and explore the possibilities for bringing set-theoretic types into Elixir.
9月1日周四
Elixir v1.14 released
Elixir v1.14 is out with a focus on debugging and developer experience.
12月3日周五
Elixir v1.13 released
Elixir v1.13 is out with a focus on developer tooling.
11月10日周三
Embracing open data with Elixir at the Ministry of Ecological Transition in France
A case study of how Elixir is being used at the Ministry of Ecological Transition in France.
7月29日周四
Bootstrapping a multiplayer server with Elixir at X-Plane
A case study of how Elixir is being used at X-Plane.
6月2日周三
Social virtual spaces with Elixir at Mozilla
A case study of how Elixir is being used at Mozilla.
5月19日周三
Elixir v1.12 released
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.
4月2日周五
Marketing and sales intelligence with Elixir at PepsiCo
A case study of how Elixir is being used at PepsiCo.
2月3日周三
Social messaging with Elixir at Community
A case study of how Elixir is being used at Community.
1月13日周三
Orchestrating computer vision with Elixir at V7
A case study of how Elixir is being used at V7.
12月10日周四
Integrating travel with Elixir at Duffel
A case study of how Elixir is being used at Duffel.
11月17日周二
Real-time collaboration with Elixir at Slab
A case study of how Elixir is being used at Slab.
10月27日周二
Delivering social change with Elixir at Change.org
A case study of how Elixir is being used at Change.org.
10月8日周四
Real time communication at scale with Elixir at Discord
A case study of how Elixir is being used at Discord.
10月6日周二
Elixir v1.11 released
Elixir v1.11 is out with improvements to the compiler and tighter integration with Erlang/OTP.
9月24日周四
PaaS with Elixir at Heroku
A case study of how Elixir is being used at Heroku.
8月20日周四
Embedded Elixir at Farmbot
A case study of how Elixir is being used at Farmbot.
1月27日周一
Elixir v1.10 released
Elixir v1.10 is out with standard library, compiler, and releases improvements.
6月24日周一
Elixir v1.9 released
Elixir v1.9 is out with releases support, improved configuration and more.
2月25日周一
Mint, a new HTTP client for Elixir
Mint is a new low-level HTTP client that aims to provide a small and functional core that others can build on top.
1月14日周一
Elixir v1.8 released
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.
7月25日周三
Elixir v1.7 released
Elixir v1.7 includes many quality of life improvements, focusing on documentation, Logger and ExUnit, as well as a new Elixir Core team member.
6月28日周四
Google Summer of Code 2018 projects
Once again Elixir is participating in Google Summer of Code 2018. In this post, we'll have a look at the active projects.
1月17日周三
Elixir v1.6 released
Elixir v1.6 includes a code formatter, defguard, dynamic supervision and new module attributes that improves code quality and the developer experience.
10月31日周二
StreamData: Property-based testing and data generation
We are working on data generation and property-based testing for the next versions of Elixir.
7月25日周二
Elixir v1.5 released
Elixir v1.5 integrates with Erlang/OTP 20 and bring changes that improves the language reach and the developer experience.
1月5日周四
Elixir v1.4 released
Elixir v1.4 brings many improvements to the language, its standard library and the Mix build tool.