1
Elixir v1.20: 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 Blog
Elixir is a dynamic, functional language designed for building scalable and maintainable applications. Simple from zero to scale, running on the battle-tested Erlang VM.
- Popular posts
- 23
- Total points
- 7,831
- HN comments
- 2,376
- Rank
- #123 company
Visit elixir-lang.org → RSS feedOn Hacker News Apr 2014 – Jun 2026
Programming Languages 23Software Engineering 20Open Source 3
2
Coordinating the Superbowl's visual fidelity with Elixir
A case study of how Elixir is being used at Cyanview.
3
Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support.
4
Elixir 1.9
Elixir v1.9 is out with releases support, improved configuration and more.
5
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
Elixir 1.19
Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.
7
Elixir 1.11
Elixir v1.11 is out with improvements to the compiler and tighter integration with Erlang/OTP.
8
Elixir 1.12
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.
9
Elixir v1.10
Elixir v1.10 is out with standard library, compiler, and releases improvements.
10
Elixir v1.6 released: code formatter, dynamic supervisors, and more
Elixir v1.6 includes a code formatter, defguard, dynamic supervision and new module attributes that improves code quality and the developer experience.
11
Type system updates: moving from research into development
A short status update on the effort to bring a type system into Elixir.
12
Mint, a new HTTP library 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.
13
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.
14
Bootstrapping a multiplayer server with Elixir
A case study of how Elixir is being used at X-Plane.
15
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.
16
Social virtual spaces with Elixir at Mozilla
A case study of how Elixir is being used at Mozilla.
17
Announcing GenStage
GenStage is a new Elixir behaviour for exchanging events with back-pressure between Elixir processes. In this blog post we will cover the background that led us to GenStage, some example use cases, and what we are exploring for future releases.
18
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.
19
Elixir Design Goals (2013)
Highlight of Elixir design goals.
20
My Future with Elixir: set-theoretic types
We announce and explore the possibilities for bringing set-theoretic types into Elixir.