python / python/typeshed

variance of `functools.py`'s `_T` TypeVar

オープン
#10,566 コメント 3 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

主要言語
Python
スター
5.1k
フォーク
2.1k
平均マージ
1日 19時間
マージ済み PR(30日)
82

説明

The TypeVar _T in functools.py is defined to be invariant, but is used mostly as the return type of Callables or in similar situations (and not in the argument types, except in reduce, total_ordering and cmp_to_key).
I think it should be replaced by some covariant TypeVar where applicable (like the return type of Callable).

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

functools.py を確認し、_T TypeVar の各使用箇所を追跡して、reduce、total_ordering、cmp_to_key における戻り値の型としての使用と引数の型としての使用を区別します。引数間の関係を変更せずに共変性が有効な箇所を判断します。適用可能な使用箇所で適切な変性が使われ、影響を受けるスタブが引き続き型的に正しい状態であれば完了です。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
python
領域
tooling
issue の種類
リファクタリング
難易度
4/5
見積もり時間
3〜5日
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
38/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。