22 Sep
2020
22 Sep
'20
8:36 a.m.
I wonder if we need something similar to Annotated[type, arg, ...]. Here for the static type checker ‘type’ is used, but the other arguments can be types that the IDE uses for suggestions. Then you can write ** as -> Something[float, complex], and Jason as -> Something[Any, dict, list, float, int, bool, None]. (Int is not really needed.) I don’t have a good suggestion for a name. —Guido -- --Guido (mobile)