On Fri, Aug 7, 2020, 6:03 PM Paul Moore <p.f.mo...@gmail.com> wrote: > > x: int[0:] # any ints greater than or equal to zero would match, others > would fail > > x: int[:101] # any ints less than 101 match > > x: int[0:101:2] # even less than 101 > > I suspect the biggest issue with this is that it's likely to be > extremely hard (given the dynamic nature of Python) to check such type > assertions statically.
Yes, it's hard in the sense that it would require solving the halting problem.
_______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/REC5J4KEFJA6N3W4MFNTZFHQWIER2NTR/ Code of Conduct: http://python.org/psf/codeofconduct/