Wrong SynchronizedArray type
まだ誰も着手していません。
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- PR マージ指標
- PR 指標を取得中
説明
Since mypy 1.11.0, mypy does not infer the right type for multiprocessing.Array
To Reproduce
With mypy 1.10.1: https://mypy-play.net/?mypy=1.10.1&python=3.12&gist=6160e18513148cff1b8a4e1b261aab8b
With mypy 1.11.0: https://mypy-play.net/?mypy=1.11.0&python=3.12&gist=619ce7173b980fb7c3533a1cc60f8304
Expected Behavior
Array(c_double) should be recognized as SynchronizedArray[c_double] and Array(c_float) should be recognized as SynchronizedArray[c_float]
Actual Behavior
Both are recognized as SynchronizedArray[float].
Your Environment
N/A, cf. mypy-play links above.
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
2つの mypy-play リンクを使って差異を再現し、c_double と c_float を指定した multiprocessing.Array について推論される型を比較します。これらの呼び出しの mypy による処理におけるリグレッションを追跡し、リグレッションテストを追加します。各配列が対応する SynchronizedArray 型として推論されれば完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- devtools
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 45/100