On Wed, Dec 2, 2020 at 6:20 PM Paul Sokolovsky <pmis...@gmail.com> wrote: > > Hello, > > On Wed, 2 Dec 2020 00:10:41 +0100 > Marco Sulla <marco.sulla.pyt...@gmail.com> wrote: > > > On Tue, 1 Dec 2020 at 23:49, Paul Sokolovsky <pmis...@gmail.com> > > wrote: > > > On Wed, 2 Dec 2020 09:16:56 +1100 > > > Chris Angelico <ros...@gmail.com> wrote: > > > > If the restricted execution model is incompatible with most Python > > > > scripts, why would anyone bother to use it? > > > > > > E.g. because someone who would want to experiment with JIT, would > > > need to apply similar restrictions anyway. > > > > So do you think that the strict mode can help people to create a JIT > > for Python? > > That's my aspiration for the strict mode, yes. (I provide "full > disclosure" on that fact.) Beyond that, strict mode, is well, strict. > So, it may be interesting to people who want more "strictness" in > Python. For example, some time ago, "type annotations" were introduced, > and quite many people (though not everyone of course) aspire to make > their programs more strict using them. The "strict mode" proposed here > is similar, but explores different dimension of strictness. >
Type annotations don't add any strictness. They just give information so that an external tool can choose to provide information to the coder. Python can't change its execution plans based on type annotations, because they have no actual runtime meaning; and the corollary of that is that type annotations are fairly safe. Annotating a function won't suddenly break it (assuming the annotation is syntactically valid). If constness can be used to actually change behaviour, then it really does have to restrict the language, and that's quite a different beast. ChrisA _______________________________________________ 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/6GW4K5NHEWZFPXGO2BQ36VHUTC23EQDF/ Code of Conduct: http://python.org/psf/codeofconduct/
