Path: csiph.com!usenet.pasdenom.info!news.redatomik.org!newsfeed.xs4all.nl!newsfeed4a.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!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; 'subject:Python': 0.06; 'pypi': 0.07; 'versions.': 0.07; 'list).': 0.09; 'received:80.91': 0.09; 'received:80.91.229': 0.09; 'received:gmane.org': 0.09; 'received:list': 0.09; 'api': 0.11; 'python': 0.11; 'jan': 0.12; 'posted': 0.15; '(it': 0.16; 'builtins': 0.16; 'inputs': 0.16; 'notations': 0.16; 'received:80.91.229.3': 0.16; 'received:plane.gmane.org': 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; 'wrote:': 0.18; 'module': 0.19; 'header:User-Agent:1': 0.23; 'skip': 0.24; 'url:dev': 0.24; 'versions': 0.24; 'supported': 0.26; 'header:X -Complaints-To:1': 0.27; 'header:In-Reply-To:1': 0.27; '(maybe': 0.31; 'layer': 0.31; 'figure': 0.32; 'url:python': 0.33; 'becomes': 0.33; 'maybe': 0.34; 'something': 0.35; 'beyond': 0.35; 'test': 0.35; 'but': 0.35; 'url:org': 0.36; 'should': 0.36; 'list.': 0.37; 'to:addr:python-list': 0.38; 'pm,': 0.38; 'previous': 0.38; 'generating': 0.39; 'to:addr:python.org': 0.39; 'received:org': 0.40; 'how': 0.40; 'full': 0.61; 'march': 0.61; 'such': 0.63; 'great': 0.65; 'finally': 0.65; 'believe': 0.68; '2015': 0.84; 'guide:': 0.84; 'hypothesis': 0.84; 'intends': 0.84; 'received:fios.verizon.net': 0.84; 'url:latest': 0.91 X-Injected-Via-Gmane: http://gmane.org/ To: python-list@python.org From: Terry Reedy Subject: Re: Hypothesis 1.0: A production quality property-based testing library for Python Date: Mon, 30 Mar 2015 20:46:52 -0400 References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Gmane-NNTP-Posting-Host: pool-98-114-97-173.phlapa.fios.verizon.net User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 In-Reply-To: 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: 35 NNTP-Posting-Host: 2001:888:2000:d::a6 X-Trace: 1427762861 news.xs4all.nl 2858 [2001:888:2000:d::a6]:37830 X-Complaints-To: abuse@xs4all.nl Xref: csiph.com comp.lang.python:88357 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. > (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