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

[Terry Reedy]

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.

> (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.

>         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