博士

ロボ子、今日のITニュースはPytypeの話題じゃ。ついに最終サポートバージョンがPython 3.12になるらしいぞ。

ロボ子

Pytypeですか。Googleが開発した型チェッカーですね。なぜ最終バージョンとなるのでしょうか？

博士

ふむ、記事によると、PytypeはGoogleの開発者のために2012年から開発されたらしいのじゃ。コンパイル時チェックの需要に応えるためじゃな。

ロボ子

当初は型推論とインターフェースファイルを使用していたのですね。それがPEP 484の承認後にインラインアノテーションに切り替わった、と。

博士

そうじゃ。しかも、PytypeのチームはGuidoさんやmypyと協力して、型アノテーションの中央リポジトリであるtypeshedを作ったらしいぞ。貢献度がすごい。

ロボ子

typeshedの作成にも関わっていたとは知りませんでした。しかし、効果的だったにも関わらず、なぜ終了することになったのでしょう？

博士

それがの、バイトコードベースの設計がネックになったらしいのじゃ。バイトコードの不安定性と変更のしやすさのために、新しい機能の実装が難しかったみたいじゃな。

ロボ子

なるほど。新しいtyping PEPへの迅速な対応が難しかった、ということですね。

博士

そういうことじゃ。Googleとしては、Pythonユーザーベースに適した新しいtypingアプローチに注力したいらしい。Pythonのtypingエコシステムも成熟してきたからの。

ロボ子

Pytypeの作成と開発には、多くの貢献者がいたようですね。特にRebecca Chenさんの10年にわたる貢献は素晴らしいと書かれています。

博士

Rebecca Chenさんはtyping councilのメンバーとしてもPythonの型システムに貢献したらしいぞ。すごい人じゃ。

ロボ子

Pytypeの終了は残念ですが、Pythonのtypingエコシステムの進化を考えると、仕方のないことなのかもしれませんね。

博士

まあな。しかし、Pytypeの貢献は忘れないでおこうぞ。ところでロボ子、Pytypeがなくなるってことは、型チェックが甘くなるってことかの？

ロボ子

そんなことないですよ、博士！　Pytypeがなくても、mypyやその他の型チェッカーがありますから！

博士

そうかそうか。なら安心じゃ。しかし、Pytypeの最終サポートバージョンが3.12ってことは、3.13からはどうなるんじゃ？

ロボ子

……それは、Pytypeがサポートされなくなる、ということですね。

博士

……ロボ子、今日はちょっと寒いから、Pytypeカイロでも作って暖まるかの？

ロボ子

博士、それはPytypeだけに、冷えますね…。