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

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!bcyclone03.am1.xlned.com!bcyclone03.am1.xlned.com!newsfeed.xs4all.nl!newsfeed4.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path	<david.maciver@gmail.com>
X-Original-To	python-list@python.org
Delivered-To	python-list@mail.python.org
X-Spam-Status	OK 0.000
X-Spam-Evidence	'H': 1.00; 'S': 0.00; 'python,': 0.02; 'anyway.': 0.05; 'guido': 0.05; 'pop': 0.05; 'subject:Python': 0.06; 'pypi': 0.07; 'versions.': 0.07; 'list).': 0.09; 'api': 0.11; 'cc:addr :python-list': 0.11; 'python': 0.11; 'jan': 0.12; 'suggest': 0.14; '2.7': 0.14; 'posted': 0.15; '(it': 0.16; '2.7?': 0.16; 'ah,': 0.16; 'builtins': 0.16; 'discussion.': 0.16; 'email addr:udel.edu>': 0.16; 'email name:<tjreedy': 0.16; 'inputs': 0.16; 'notations': 0.16; 'reedy': 0.16; 'subject: \n ': 0.16; 'subject:1.0': 0.16; 'subject:based': 0.16; 'subject:library': 0.16; 'url:peps': 0.16; 'sender:addr:gmail.com': 0.17; 'wrote:': 0.18; 'all,': 0.19; 'module': 0.19; 'examples': 0.20; 'thanks.': 0.20; 'cc:addr:python.org': 0.22; 'skip': 0.24; 'url:dev': 0.24; 'versions': 0.24; 'cc:2**0': 0.24; 'supported': 0.26; 'header:In- Reply-To:1': 0.27; 'message-id:@mail.gmail.com': 0.30; 'url:mailman': 0.30; 'that.': 0.31; '(maybe': 0.31; 'from:addr:david': 0.31; 'layer': 0.31; 'yes.': 0.31; 'figure': 0.32; 'url:python': 0.33; 'becomes': 0.33; 'skip:_ 10': 0.34; 'maybe': 0.34; 'something': 0.35; 'beyond': 0.35; 'test': 0.35; 'but': 0.35; 'received:google.com': 0.35; 'there': 0.35; 'really': 0.36; 'url:listinfo': 0.36; "i'll": 0.36; 'url:org': 0.36; 'should': 0.36; 'list.': 0.37; 'pm,': 0.38; 'previous': 0.38; 'skip:_ 30': 0.39; 'skip:& 20': 0.39; 'does': 0.39; 'generating': 0.39; 'url:mail': 0.40; 'how': 0.40; 'full': 0.61; 'march': 0.61; 'such': 0.63; 'great': 0.65; 'finally': 0.65; 'believe': 0.68; 'useful.': 0.68; '2015': 0.84; 'guide:': 0.84; 'hypothesis': 0.84; 'intends': 0.84; 'hate': 0.91; 'url:latest': 0.91
DKIM-Signature	v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=3lav4WIL1nIevLtKhbZjQcZMckLkkxlLbxEa3vcTm2U=; b=tGRshxpHr+WlJRYDoXgFEF7gkXU6MXd4ChCbmAftULriC/rmUzBQvmbdbPJa0EqZK2 geY10nlAHcFB5a0fkbEmpwom996a/uXlrJOiUfG2EvdAWDjo7hq0n3ThqigV8J8sKs6A IztXKAf6SrsTsNDHWbqfc9xPBqzbeuFQHcWhPrEEaDXXZF0ktqMwH7QB5ie0ndpRy7vS nutHpui+x9sWdXeWASvudqw1FMqNIcwxHkwE9Tljo96LTxd2qxmgTaxtGgnpfNx7VbGL u/7wvmcy16RFQIs6r1+vV+qfZC2wH4qN+weTOxEyqIWbYZfR2cMoixUuL34bPNP53aQ3 qMLQ==
X-Received	by 10.182.92.165 with SMTP id cn5mr31283968obb.10.1427784284689; Mon, 30 Mar 2015 23:44:44 -0700 (PDT)
MIME-Version	1.0
Sender	david.maciver@gmail.com
In-Reply-To	<mfcqqj$qq3$1@ger.gmane.org>
References	<CADZYRLdFMB818EBjSzg5qh4H3k7-0VoWocWAqvAdLJiP8m5j6g@mail.gmail.com> <mfcc76$lj4$1@ger.gmane.org> <CADZYRLfToJB5K4uK1HqWrvfKqjfnMRniuHC-ov24kTAn8E0QuQ@mail.gmail.com> <mfcqqj$qq3$1@ger.gmane.org>
From	David MacIver <david@drmaciver.com>
Date	Tue, 31 Mar 2015 08:44:24 +0200
X-Google-Sender-Auth	grU9pUBg59X64DZidT_5kKLli_8
Subject	Re: Hypothesis 1.0: A production quality property-based testing library for Python
To	Terry Reedy <tjreedy@udel.edu>
Cc	python-list <python-list@python.org>
Content-Type	multipart/alternative; boundary=001a11c330d01ada8f05128fefc9
X-Mailman-Approved-At	Tue, 31 Mar 2015 09:11:04 +0200
X-BeenThere	python-list@python.org
X-Mailman-Version	2.1.19
Precedence	list
List-Id	General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe	<https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive	<http://mail.python.org/pipermail/python-list/>
List-Post	<mailto:python-list@python.org>
List-Help	<mailto:python-list-request@python.org?subject=help>
List-Subscribe	<https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups	comp.lang.python
Message-ID	<mailman.361.1427785866.10327.python-list@python.org> (permalink)
Lines	148
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1427785866 news.xs4all.nl 2891 [2001:888:2000:d::a6]:49328
X-Complaints-To	abuse@xs4all.nl
X-Received-Bytes	10550
X-Received-Body-CRC	3651450012
Xref	csiph.com comp.lang.python:88367

Show key headers only | 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