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/