Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #88367

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

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

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

> On 3/30/2015 4:46 PM, David MacIver wrote:
>
>> On 30 March 2015 at 22:37, Terry Reedy <tjreedy@udel.edu
>> <mailto:tjreedy@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
>

Back to comp.lang.python | Previous | Next | Find similar | Unroll thread

Thread

Re: Hypothesis 1.0: A production quality property-based testing library for Python David MacIver <david@drmaciver.com> - 2015-03-31 08:44 +0200

csiph-web