Thanks for writing the draft! I left a bunch of inline comments here https://github.com/Michael0x2a/peps/pull/1. May main suggestion is to move from brainstorming-like doc to more PEP-like (more strict) document, and move all things we are not doing now to the "Rejected/postponed ideas" section. -- Ivan On Tue, 20 Nov 2018 at 06:12, Michael Lee <michael.lee.0x2a@gmail.com> wrote:
Hello!
During the typing meetup from a week or two ago, I mentioned that we (the mypy team) were planning on implementing Literal types and would have a draft of the proposed semantics ready soon. Well, here it is: https://github.com/Michael0x2a/peps/blob/literal-types/pep-9999.rst
It basically combines and elaborates on the discussion from https://github.com/python/typing/issues/478 and https://github.com/python/mypy/issues/3062, so hopefully there shouldn't be too many surprises.
This is probably a little premature in that we've only just barely started the PoC work in mypy: we'll almost certainly need to tweak some things as we work through the implementation.
But we're reasonably happy with the proposed semantics and thought it would be nice to just publish it now so that people can start giving feedback.
(Also, I guess we wanted an excuse to try using this shiny new mailing list, lol)
-- Michael _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mm3/mailman3/lists/typing-sig.python.org/