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: 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: References: From: David MacIver 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 Cc: python-list 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.python Message-ID: 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 --001a11c330d01ada8f05128fefc9 Content-Type: text/plain; charset=UTF-8 On 31 March 2015 at 02:46, Terry Reedy wrote: > On 3/30/2015 4:46 PM, David MacIver wrote: > >> On 30 March 2015 at 22:37, Terry Reedy > > wrote: >> > > 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 > --001a11c330d01ada8f05128fefc9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On 3= 1 March 2015 at 02:46, Terry Reedy <tjreedy@udel.edu> wrote:<= br>
On 3/30/2015 4:46 PM, Da= vid MacIver wrote:
On 30 March 2015 at 22:37, Terry Reedy <tjreedy@udel.edu
 <mailto:tjreedy@ud= el.edu>> wrote:

=C2=A0 =C2=A0 https://www.python.org/dev/__peps/pep-0484/
=C2=A0 =C2=A0 <https://www.python.org/dev/peps/pep-0484/>
=C2=A0 =C2=A0 proposes the addition of a 'typing' module for defini= ng types beyond
=C2=A0 =C2=A0 the builtins and ABCs, such as List(int), Union(tuple, list).= =C2=A0 If
=C2=A0 =C2=A0 and when it is accepted and added (maybe 3.5, maybe later), y= ou
=C2=A0 =C2=A0 should consider having Hypothesis accept the notations that i= t can
=C2=A0 =C2=A0 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" t= o python-ideas list.

Thanks. I'll pop o= ver there and join in the discussion.
=C2=A0


(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 in= clude Python 2.7? The examples suggest yes.

(I rea= lly hate having to ask that. I don't want to support Python 2.7 at all,= but...)
=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Full documentation is available at
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://hypothesis.readthedocs.__org/en/latest/
=C2=A0 =C2=A0 =C2=A0 =C2=A0 you can
=C2=A0 =C2=A0 =C2=A0 =C2=A0 skip straight to the quick start guide:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 http://hypothesis.readthedocs.__org/en/latest/quic= kstart.html

--
Terry Jan Reedy

--
https://mail.python.org/mailman/listinfo/python-list

--001a11c330d01ada8f05128fefc9--