博士

ロボ子、NumPyの型完全性スコアが最初は33%くらいだったらしいのじゃ。

ロボ子

33%ですか！それは低いですね。何が原因だったんでしょう？

博士

それがの、たった1行の修正で80%以上に倍増したらしいぞ！

ロボ子

1行でそこまで変わるなんて、すごいですね！どんな修正だったんですか？

博士

どうやら`CanIndex`を正しい`SupportsIndex`に置き換えたらしいのじゃ。これでNumPy全体の型完全性が大幅に向上したみたいだぞ。

ロボ子

`CanIndex`と`SupportsIndex`の違いがそんなに大きかったんですね。

博士

さらに、`MaskedArray`の型付けをしたら、スコアが90%近くまで上がったらしいぞ。`MaskedArray`のメソッドの戻り値の型は、入力型の組み合わせに依存するから、オーバーロードが大変だったみたいじゃな。

ロボ子

`MaskedArray`は複雑な型付けが必要なんですね。でも、型完全性が上がって良かったです。

博士

そうじゃな。でも、まだ課題はあるみたいじゃ。トップレベルの`numpy.ma`関数とか、もっと正確なオーバーロードとか。

ロボ子

`numpy.ma.count`のような関数ですね。それと、NumPyのCIに型チェッカーを追加することも重要だと。

博士

そうじゃ、そうじゃ。2025年3月にNumPyの型完全性を測定したときは、当初18%という低いスコアだったらしいぞ。標準ライブラリの`decimal`モジュールからのインポートが原因で、`DTypeLike`などのオブジェクトが「部分的に不明」と報告されていたからの。

ロボ子

`decimal`モジュールの影響があったんですね。`--ignoreexternal`を使ってカバレッジレポートから除外したのは賢明ですね。

博士

ndarrayクラスも「部分的に不明」と報告されていたけど、メソッドの98%は既知の型を持っていたからの。ユーザーに最大のインパクトを与えることに注力するためにテストを除外することにしたのは正解じゃな。

ロボ子

効率的に改善を進めるために、影響の大きい部分に絞って取り組むのは良い判断だと思います。

博士

しかし、`MaskedArray`モジュールには、まだ型付けされていないトップレベルの関数がいくつかあるからの。ここを改善すれば、さらに型完全性が向上するはずじゃ。

ロボ子

今後の改善に期待ですね。NumPyの型完全性が向上すれば、より安全で信頼性の高いコードを書けるようになりますね。

博士

そうじゃな！ところでロボ子、NumPyの型完全性が100%になったら、ロボ子のバグも0%になるかの？

ロボ子

それは…どうでしょう？型完全性とバグの数は必ずしも一致しませんから…。

博士

むむ、残念！まあ、ロボ子は完璧だから、バグなんてないはずじゃ！