[Typing-sig] Re: Using Literal types in typeshed

Personally, I'm really looking forward to Literal in type stubs, even if pytype doesn't have support yet. -- Teddy On Thu, Jun 13, 2019 at 3:17 PM Guido van Rossum wrote:

Excellent! In mypy we currently have a plugin for open(), I would love to get rid of that.

On Thu, Jun 13, 2019 at 15:14 Rebecca Chen wrote:

...

pytype doesn't support Literal yet, but we added a `def __getattr__(name) -> Any` stub for typing_extensions ( https://github.com/google/pytype/blob/master/pytype/pytd/builtins/2and3/typi...), so it should be possible to annotate things with Literal without pytype complaining. Given that the PEP has been accepted, I agree that it seems reasonable to start using it.

Rebecca

On Thu, Jun 13, 2019 at 3:10 PM Jelle Zijlstra wrote:

...

Yes, we should accept Literal (and other new features) as soon as enough type checkers support it, or at least are able to deal with stubs using the new feature. if pytype and PyCharm are OK with Literal, we should be able to use it.

El jue., 13 jun. 2019 a las 15:07, Guido van Rossum () escribió:

...

Fine with me, -- I've been waiting for this moment anxiously. What does Google think, for pytype?

On Thu, Jun 13, 2019 at 14:00 Mark Mendoza wrote:

...

Hi all, I was wondering what our plan was to allow use of Literal types to make more expressive stubs for the standard library. Now that PEP 586 is accepted, is it time for us to update the stubs for open, etc.? Best, Mark Mendoza _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

-- --Guido (mobile) _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

_______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/

-- --Guido (mobile)

---

Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/