Hypothesis 1.0: A production quality property-based testing library for Python

[David MacIver]

On 31 March 2015 at 02:46, Terry Reedy <tjreedy at udel.edu> wrote:

> On 3/30/2015 4:46 PM, David MacIver wrote:
>
>> On 30 March 2015 at 22:37, Terry Reedy <tjreedy at udel.edu
>> <mailto:tjreedy at 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-list/attachments/20150331/7c8cc977/attachment.html>