On 31 March 2015 at 02:46, Terry Reedy <tjre...@udel.edu> wrote: > On 3/30/2015 4:46 PM, David MacIver wrote: > >> On 30 March 2015 at 22:37, Terry Reedy <tjre...@udel.edu >> <mailto:tjre...@udel.edu>> wrote: >> > > https://www.python.org/dev/__peps/pep-0484/ >> <https://www.python.org/dev/peps/pep-0484/> >> proposes the addition of a 'typing' module for defining types beyond >> the builtins and ABCs, such as List(int), Union(tuple, list). If >> and when it is accepted and added (maybe 3.5, maybe later), you >> should consider having Hypothesis accept the notations that it can >> work with. >> >> Yes, definitely. Having something like that as standard would be great >> for Hypothesis and I intend to support it once it becomes available. >> > > I just posted "PEP 484: Generating test inputs from type hints" to > python-ideas list.
Thanks. I'll pop over there and join in the discussion. > > > (It will force me to finally figure out how to do staged APIs, with some >> versions of the API only supported on some versions of python, but I >> need to do that anyway. This might involve just shipping a compatibility >> layer for previous versions of Python in with Hypothesis) >> > > I believe Guido intends that typing.py should be available on PyPI for use > with current versions. > > Ah, that would be useful. Does that include Python 2.7? The examples suggest yes. (I really hate having to ask that. I don't want to support Python 2.7 at all, but...) > Full documentation is available at >> http://hypothesis.readthedocs.__org/en/latest/ >> you can >> skip straight to the quick start guide: >> http://hypothesis.readthedocs.__org/en/latest/quickstart.html >> > > -- > Terry Jan Reedy > > -- > https://mail.python.org/mailman/listinfo/python-list >
-- https://mail.python.org/mailman/listinfo/python-list