A picture of Reviewers' Choice Award 2024 for the Design Principles of the Elixir Type system by Giuseppe Castagna, Guillaume Duboc, and José Valim, in The Art, Science, and Engineering of Programming.
We saw tons of progress on Elixir's type system in 2024. We started the year with a Best Paper award, then Elixir v1.17 in May with data-type warnings, and now Elixir v1.18 with type checking + inference on function calls.
Today I started working on v1.19, I'll share more here as it progresses!