13 May 2023
29m

360: Hallucinated Type Safety (matz)

Podcast cover

Rebuild

Ruby の生みの親であるまつもとゆきひろ氏を迎え、RubyKaigi の意義や言語開発の最前線について語る。まつもと氏は、Ruby に複雑な型宣言を導入することには慎重な姿勢を示し、コンパイラのための型記述よりも、AI による型推定やエディタ支援を通じた開発体験の向上を重視する。RubyKaigi は言語そのものを作る開発者とユーザーが交流する特殊なカンファレンスであり、JIT やパーサー改良といった技術的挑戦の場として機能している。mRuby においては、CRuby との互換性を保ちつつ、メモリ制約のある組み込み環境での利用を最適化する方針が維持されている。今後は AI が型推定やコード生成を補完することで、プログラミングにおける型定義のあり方が根本的に変化する可能性がある。

Outlines

Sign in to continue reading, translating and more.

Open full episode in Podwise