Elixir、段階的型システムを導入した言語へ進化

• Elixirは最初のコミットから13年を迎えるタイミングで、公式に段階的型付け言語へ移行
• 現在はbitstringに対して型推論と型検査を行っており、すべての型をサポート（ただし、型間のサブタイピング(sub-typing) は未対応）
• 最初のマイルストーンはパターン(patterns)とガード(guards) に対する推論の実施
• この推論は、言語や既存コードベースを変更せずにバグを検出する形で動作
• Elixir v1.17までに、すべてのパターンとガードの推論を完成させることを目標に設定

---

段階的型付け言語への移行発表

• Elixirリポジトリ(repo)の最初のコミットから13年となる節目に合わせて、Elixirが公式に段階的型付け言語であることを発表
• 現時点における型検査の実装範囲
  • bitstringに対する型推論および型検査を実施
  • すべての型(all types) をすでにサポートしているが、型内部のサブタイピングは未対応

今後の目標と最初のマイルストーン

• Elixir v1.17までに、すべてのパターン(patterns)とガード(guards) の推論を行うことを目標に設定
• 最初のマイルストーンは、パターンとガードに対する推論の実施
  • 言語やユーザーのコードベースを変更することなく、コード内のバグを検出する方式
  • 最初の段階が誰にとってもwin-winとなることを目指す

[GN⁺]

Hacker Newsのコメント

• Joseへの感謝

  • Elixirとコミュニティのために尽力してきたJoseに感謝を示している。
  • 言語とコミュニティに対する彼の細やかさと熟練ぶりが非常に高く評価されている。
  • Joseの安定感と勤勉さを示す素晴らしい例として、日々の幸福に大きな影響を与えてくれた個人に感謝している。

• 段階的型付け言語への関心

  • 段階的に型付けされる言語には好感を持っているが、ここには情報が不足している。
  • 2022年初頭に発表された論文へのリンクを示し、この型システムについてさらに多くの情報を探している。

• Elixirの型の不在に対する意見

  • Elixirで型がないことに、一部の人は抵抗感を覚えていた。
  • 言語がほぼ完成した段階で型を追加するのは、完璧なタイミングだとしている。
  • 動的言語の哲学に反すると感じるため、RubyではSorbetに確信を持てなかったが、安全性を高める追加手段としては良いと述べている。
  • Elixirでは型システムが正しく実装されるだろうという自信を示している。

• Jose ValimとAnders Hejlsbergへの信頼

  • 業界で型システムを正しく実装できると信じられる数少ない人物の一人がJose Valimだとしている。
  • Anders Hejlsbergも、型システム実装において信頼している人物だとしている。

• Elixirへの型システム追加に対する反応

  • 最近転職してElixirを使うようになり、TypeScriptで享受していた型付き言語の利点を大いに恋しく感じている。
  • プロジェクトのどこからでもデータモデルにアクセスできることが、Elixirの大きな利点だとしている。
  • すでに素晴らしかったElixirがさらに改善されることを非常に喜び、この作業に関わったチームに祝意を伝えている。

• 型システムの重要性

  • Phoenixや以前のRoR(Ruby on Rails)は高い生産性を証明してきたが、型やランタイムエラーの問題によって簡単に問題が起こり得た。
  • 型はランタイムエラーの多くをビルド時エラーへと変えられるため、信頼できるソフトウェア開発に大きな利点をもたらすとしている。

• PHPの段階的型導入から学ぶべき点

  • PHPにおける段階的な型導入は非常に実用的であり、そこから学べる点があることを望んでいる。

• Ruby開発者のElixir移行に対する意見

  • Rubyにこうした取り組みが組み込まれることを望んでおり、多くのRuby開発者が今ではElixirを使っていると述べている。
  • Elixirが驚くべき言語へと発展していることを指摘している。

• ElixirチームとJoseによる型システム導入へのアプローチ

  • Elixirチーム、特にJoseの講演を見るべきだとしている。
  • 彼らは型システム導入にあたり非常に慎重かつ丁寧に取り組んでおり、優れた型システムを導入しようと努めている。