@overload is required when using @dispatch

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

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

評価

難易度
5/5
見積もり時間
1週間以上
初心者へのやさしさ
25/100
issue の種類
機能追加
明瞭さ
説明が足りない
活発さ
停滞
技術スタック
python
領域
tooling

調査の方向性

Start with the synthetic Python example in the issue and reproduce mypy's “'overload' decorator expected” error. Investigate how mypy handles decorators and what support for multipledispatch's @dispatch would require; done means the example type-checks without adding runtime @overload decorators.

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

説明

bug false-positive

Is there a way to type-check code that uses @dispatch?

For example, consider the following synthetic example code:

from multipledispatch import dispatch

@dispatch(int)
def foo(x: int) -> None:
    print('int')

@dispatch(str)
def foo(x: str) -> None:
    print('str')

foo(1)  # Prints 'int'.
foo('a')  # Prints 'str'.

When I try to type-check this code with mypy, I get error: 'overload' decorator expected, because mypy does not recognize the @dispatch decorator.

Adding @overload before each @dispatch would satisfy mypy. However, it raises a run time error saying You should not call an overloaded function.. This makes sense, as the semantics of @overload are "this is only a signature, the real body is elsewhere.".

It seems what is needed is for mypy to directly recognize @dispatch...?

主要言語
Python
スター
20.6k
フォーク
3.3k
平均マージ
1日 18時間
マージ済み PR（30日）
54

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

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

はじめの一歩

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

python/mypy のほかの issue

python/mypy の issue をすべて見る

似ている issue

Python の issue をもっと見る

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

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