ラムダ関数のヒントを入力することは可能ですか？

Question 1

現在、Pythonでは、関数のパラメーターと戻り値の型は、次のように型ヒントを付けることができます。

def func(var1: str, var2: str) -> int:
    return var1.index(var2)

これは、関数が2つの文字列を受け取り、整数を返すことを示しています。

ただし、この構文は、次のようなラムダと非常に混同されます。

func = lambda var1, var2: var1.index(var2)

パラメータと戻り値の型の両方に型ヒントを入れてみましたが、構文エラーを引き起こさない方法がわかりません。

ラムダ関数のヒントを入力することは可能ですか？そうでない場合は、型ヒントラムダの計画がありますか、または何らかの理由（明らかな構文の競合以外）はありませんか？

Question 2

Python 3.6以降では、PEP526変数アノテーションを使用できます。lambda結果を割り当てる変数にtyping.Callableジェネリックで注釈を付けることができます：

from typing import Callable

func: Callable[[str, str], int] = lambda var1, var2: var1.index(var2)

これは、型ヒント情報を関数オブジェクト自体に添付するのではなく、オブジェクトを格納した名前空間にのみ添付しますが、通常、型ヒントの目的で必要なのはこれだけです。

ただし、代わりに関数ステートメントを使用することもできます。lambdaオファーの唯一の利点は、単純な式の関数定義をより大きな式の中に入れることができることです。しかし、上記のラムダはより大きな式の一部ではなく、名前にバインドする代入ステートメントの一部にすぎません。それはまさにdef func(var1: str, var2: str): return var1.index(var2)声明が達成することです。

状態のドキュメントとして、注釈*argsや**kwargs引数を個別に付けることもできないことに注意してくださいCallable。

オプションまたはキーワード引数を示す構文はありません。このような関数タイプがコールバックタイプとして使用されることはめったにありません。

この制限は、メソッドを使用する PEP544プロトコルに__call__は適用されません。どの引数を受け入れるべきかを明確に定義する必要がある場合は、これを使用してください。Python 3.8が必要であるか、バックポート用にtyping-extensionsプロジェクトをインストールします。

from typing-extensions import Protocol

class SomeCallableConvention(Protocol):
    def __call__(var1: str, var2: str, spam: str = "ham") -> int:
        ...

func: SomeCallableConvention = lambda var1, var2, spam="ham": var1.index(var2) * spam

lambda表現自体は、任意の注釈（Pythonのタイプヒンティングが構築されているシンタックス）を使用することはできません。構文は、def関数ステートメントでのみ使用できます。

PEP 3107から-関数アノテーション：

ラムダの構文はアノテーションをサポートしていません。ラムダの構文は、パラメーターリストを括弧で囲むことにより、アノテーションをサポートするように変更できます。ただし、次の理由により、この変更を行わないことが決定されました。

互換性のない変更になります。

ラムダはとにかく去勢されます。

ラムダはいつでも関数に変更できます。

注釈をオブジェクトに直接添付することもできfunction.__annotations__ます。属性は書き込み可能な辞書です。

>>> def func(var1: str, var2: str) -> int:
...     return var1.index(var2)
...
>>> func.__annotations__
{'var1': <class 'str'>, 'return': <class 'int'>, 'var2': <class 'str'>}
>>> lfunc = lambda var1, var2: var1.index(var2)
>>> lfunc.__annotations__
{}
>>> lfunc.__annotations__['var1'] = str
>>> lfunc.__annotations__['var2'] = str
>>> lfunc.__annotations__['return'] = int
>>> lfunc.__annotations__
{'var1': <class 'str'>, 'return': <class 'int'>, 'var2': <class 'str'>}

もちろん、タイプヒントに対して静的アナライザーを実行したい場合は、このような動的アノテーションが役立つわけではありません。

Question 3

Python 3.6以降、次のことができます（PEP 526を参照）。

from typing import Callable
is_even: Callable[[int], bool] = lambda x: (x % 2 == 0)

Question 4

いいえ、それは不可能です。これを変更する計画はありません。理由は主に構文上のものです。