![](https://secure.gravatar.com/avatar/d9ac9213ada4a807322f99081296784b.jpg?s=120&d=mm&r=g)
On Tue, Jun 15, 2021, at 11:12, ALFONSO LUIS CASTAÑO MARIN wrote:
To what potential PEP are you referring exactly? Type arithmetic or automatically interpret `1` as `Literal[1]` wherever it makes sense?
I guess both, but particularly the first (using standard operators in type definitions). The first seems pretty unwieldy without the second, though.
Indeed to have a common repository with an initial document would be a good way to go. So far we did not start anything because the PEP on Variadics was still waiting for appoval. However, we also wanted to make sure that Numpy folks believe that this approach towards type arithmetic makes sense for their use cases. Maybe we could sync on this on the next Numpy Development meeting?
We have a "triage" meeting this coming Wednesday at 11am Pacific, which would be a good venue for discussing these details. Best regards, Stéfan