A way to relax param-spec -- AnyLike

What what i would really like is https://github.com/python/typing/issues/1506
however mapping types is pretty complex and general.

Consider something like Dask's client.submit
submit[T, **P](self, func: Callable[P, T], *args: P.args, **kwargs: P.kwargs) -> Future[T]
What it actually wants is any type in the outer arguments can be
either the original type Q, in P.args or P.kwargs, or Future[Q].

But specifying that is a bit fiddly.

A less complex thing would be to introduce a special form AnyLike
which can be run as

submit[T, **P](self, func: Callable[P, T], *args: AnyLike[P].args, **kwargs: AnyLike[P].kwargs) -> Future[T]
which would have the effect of allowing the types in
args to be Any but the number must match that in the paramspec P,
and similar the types in kwargs can be Any but the names must till match those in the paramspec P

まず typing issue 1506 と、Dask の client.submit に対する AnyLike の使用案を読んでください。P.args と P.kwargs の意図されたセマンティクスを、引数の数とキーワード名を含めて定義し、その提案が既存の ParamSpec の動作にどのように適合するかを検討してください。新しい special form の仕様について合意できれば完了です。