ついに進化！Elixir v1.20で待望の「段階的型付け」が導入されました

Elixir v1.20がリリースされました。今回の最大の目玉は、コミュニティでも長年待ち望まれていた「段階的型付け（Gradually Typed）」の導入です。これにより、柔軟な動的型付けの利点を保ちつつ、静的解析による安全性と堅牢性を段階的に導入できるようになりました。型推論と型チェックがElixirの強力な並行処理モデルにどのような変革をもたらすのか、今すぐチェックしてみましょう。

HNでElixirの漸進的型システムに関する投稿をよく見かけるけど、そこまで詳しく追えてないんだよね。この特定の漸進的型システムが、型なしコードと比べてプログラムの計算量のオーダー（asymptotics）を変えてしまう可能性があるのか、誰か知ってる？知る限りだと、ほとんどの漸進的型システム（Racketとか）はプログラムの実行速度を漸近的に遅くしてしまうことがあるんだけど、いくつか例外もあるみたいだね [1]。 [1] https://doi.org/10.1145/3314221.3314627

Gleamと比べるとどうなの？というか、今あえてGleamじゃなくてElixirを使う理由って何？PhoenixやLiveViewの存在が、Elixirの大きな魅力になってるのは確かだと思うけど。

Elixirのアップデートは最高。自分の抱えてるたくさんのプロジェクトで破壊的変更が全くないのに、コンパイラがバグを勝手に見つけてくれるんだから。甘やかされすぎてる気分だよ。

これには本当に感動してる。「素晴らしい言語」のレベルに近づいてるし、自分にとってはこれが初めての体験かも。信頼性が高く安全な方法で素晴らしい機能を次々と追加しつつ、使い勝手も維持してるような他の言語があったらぜひ教えてほしい。Goを極めた後に高度なC#の学習に移ったんだ。Goは素晴らしい機能の追加が止まってしまったからね :(

皮肉な話だよね。昔は批判的な人たちが「型が必要だ」と言い、Elixirファンは「Elixirは魔法だから型なんてなくても型関連のバグなんて出ない」と言い張っていたのに、いざ型が導入されたら、それによってバグが見つかるようになったんだから…。バグを防ぐのに型は必要ないって言ってたはずじゃ？でも、良いことだと思うよ！少し前にElixirを試してみたけど、楽しかった反面、型の欠如だけは納得できなかったからね。

おっ、ついに来たか！10年ほどプロのElixirデベロッパーをやってる身として、型の導入にはめちゃくちゃワクワクしてる。初期段階の実装がこうして形になり始めてるのは最高だね。ただ、v1.20の内容が、仕様の決まっていないDialyzerと比べてどうなのか気になってる。Dialyzerの「サクセス・タイピング」（パラメータの組み合わせで動作するものがあれば関数をフラグ立てしない手法。パラメータの組み合わせ次第で失敗するからといってフラグ立てするわけではない）はElixirが今回やってることと似てると思ってたんだけど、正直Dialyzerはあまり役に立つと感じたことがなくてさ。

ここ1ヶ月くらい、Exercism.ioのElixirトラック https://exercism.org/tracks/elixir をやってるんだけど、本当におすすめ！すごく充実してるよ。

経験則でしかないかもしれないけど、最初から型付けされてなかった言語って、結局「真の」型付き言語ほどうまく機能しない気がする。

José（Valim）じゃないから彼の知恵には敵わないけど、個人的な見解としては、Elixirで型を意識しすぎるのは、もはやLispとして扱っていないことと同義で、Elixirの素晴らしさを損なうんじゃないかと思う。ただ、エージェントの処理に関しては大きな底上げになるだろうから、Elixirチームには感謝してる。

素朴な疑問なんだけど、今のような雰囲気重視でAIがコーディングを支援してくれる時代に、LLMの学習データ量が多いという点以外で、型なし言語を使うメリットって何かある？議論を呼ぶだろうけど、個人的には型なし言語は遅かれ早かれ修正すべき技術的負債だと思ってるし、元記事もその問題を部分的に扱ってるよね。重要なソフトウェア・インフラを信頼性の高い型付き言語で再構築する動きは、Twitter、Airbnb、ShopifyといったRuby on Rails（RoR）を使っていたユニコーン企業の多くで見られるし [1][2][3]。移行の主な理由はモノリス・アーキテクチャからの脱却とされているけど、新しく採用される言語のほとんどが型付きである以上、型なし言語はアーキテクチャを変えてもパフォーマンスやスケーラビリティの面で厳しいっていうのが明白なんじゃないかな。 [1] https://www.quora.com/Why-did-Twitter-move-away-from-Ruby-on-Rails [2] https://www.reddit.com/r/programming/comments/1756q7z/how_airbnb_scaled_by_moving_away_from_a_rails/ [3] https://news.ycombinator.com/item?id=33409597