Typing lists and tuples in Elixir
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 checks, it will not produce type errors at runtime. It is important to emphasize type errors. The type systems used at scale today do not guarantee the absense of any runtime errors, but only typing ones.
Announcing the official Elixir Language Server team
I am glad to welcome Elixir’s official Language Server team, formed by (in alphabetical order): Jonatan Kłosko Łukasz Samson Mitch Hanberg Steve Cohen The team will work on the code intelligence infrastructure to be used across tools and editors. These efforts are partially funded by Fly.io and Livebook. A brief history The Language Server Protocol (LSP) was created by Microsoft as a protocol betw
Elixir v1.17 released: set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support
Elixir v1.17 released: set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support 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 brings benefits to developers in the form of new warnings for common mistakes. This new version
Strong arrows: a new approach to gradual typing
This is article expands on the topic of gradual set-theoretic typing discussed during my keynote at ElixirConf US 2023. There is an on-going effort to research and develop a type system for Elixir, lead by Giuseppe Castagna, CNRS Senior Researcher, and taken by Guillaume Duboc as part of his PhD studies. In this article, we will discuss how the proposed type system will tackle gradual typing and h
Type system updates: moving from research into development
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 Castagna, CNRS Senior Researcher, and taken by Guillaume Duboc as part of his PhD studies, with further guidance from myself (José Valim). This article is a summary of where we are in our efforts and wher
My Future with Elixir: set-theoretic types
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 announced. At such occasions, it may be tempting to try to predict how Elixir will look in 10 years from now. However, I believe that would be a futile effort, because, 10 years ago, I would never ha
Elixir v1.14 released
Elixir v1.14 has just been released. 🎉 Let’s check out new features in this release. Like many of the past Elixir releases, this one has a strong focus on developer experience and developer happiness, through improvements to debugging, new debugging tools, and improvements to term inspection. Let’s take a quick tour. Note: this announcement contains asciinema snippets. You may need to enable 3rd-
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. Overall this is a small release, which continues our tradition of bringing Elixir developers quality of life improvements every 6 months. Some of these improvements directly relates with the recent efforts of bringing Numerical Computing to
Elixir v1.11 released
Over the last releases, the Elixir team has been focusing on the compiler, both in terms of catching more mistakes at compilation time and making it faster. Elixir v1.11 has made excellent progress on both fronts. This release also includes many other goodies, such as tighter Erlang integration, support for more guard expressions, built-in datetime formatting, and other calendar enhancements. Duri
Elixir v0.13.0 released, hex.pm and ElixirConf announced
Elixir v0.13.0 released, hex.pm and ElixirConf announced Hello folks! Elixir v0.13.0 has been released. It contains changes that will effectively shape how developers will write Elixir code from now on, making it an important milestone towards v1.0! On this post we are going to cover some of those changes, the road to Elixir v1.0, as well as the announcement of hex.pm. Before we go into the change
Elixir Design Goals
During the last year, we have spoken at many conferences spreading the word about Elixir. We usually started with introducing the Erlang VM, then went on to talk about Elixir goals, saving some time at the end to do a live demo, showing some goodies like exchanging information between remote nodes and even hot code swapping. This post is a summary of those talks, focusing on the language goals: co
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Elixir v1.16 released
Elixir v1.15 released
Elixir v0.14.0 released
Elixir v0.11.0 released