Hi Blaine,
A similar idea has been discussed at the typing tracker, see
https://github.com/python/typing/issues/239, but finally we went with the
current syntax. It has several advantages such as:
* It does not require a new syntax, i.e. can be backported to older Python
versions
* Possibility to
On Tue, Aug 29, 2017 at 1:06 PM, Nick Coghlan wrote:
> On 29 August 2017 at 18:58, Blaine Rogers
> wrote:
> > The current syntax for Callable types is unwieldy, particularly when
> > extended to include varargs and keyword args as in
> > http://mypy.readthedocs.io/en/latest/kinds_of_types.html#e