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!newsfeed.xs4all.nl!newsfeed1.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.006
X-Spam-Evidence	'H': 0.99; 'S': 0.00; 'python,': 0.02; 'subject:Python': 0.06; 'dynamically': 0.07; 'great.': 0.07; 'mining': 0.09; 'typed': 0.09; 'cc:addr:python-list': 0.11; 'python': 0.11; 'subject: \n ': 0.16; 'subject:1.0': 0.16; 'subject:based': 0.16; 'subject:library': 0.16; 'proprietary': 0.16; 'sender:addr:gmail.com': 0.17; 'wrote:': 0.18; 'looked': 0.18; 'bit': 0.19; 'cc:addr:python.org': 0.22; 'paul': 0.24; "haven't": 0.24; 'cc:2**0': 0.24; "i've": 0.25; '>': 0.26; 'header:In-Reply-To:1': 0.27; 'idea': 0.28; 'feature': 0.29; 'mix': 0.30; 'message-id:@mail.gmail.com': 0.30; 'url:wiki': 0.31; 'from:addr:david': 0.31; 'talked': 0.31; 'though.': 0.31; 'writes:': 0.31; "i'd": 0.34; 'but': 0.35; 'received:google.com': 0.35; 'version': 0.36; 'really': 0.36; 'much.': 0.36; 'useful': 0.36; 'url:org': 0.36; 'being': 0.38; 'aspects': 0.39; 'users': 0.40; 'read': 0.60; 'applicable': 0.60; 'is.': 0.60; 'march': 0.61; 'more': 0.64; 'due': 0.66; 'friends': 0.81; '2015': 0.84; 'hypothesis': 0.84; 'papers,': 0.84; 'erlang': 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=BnLfwZHEu7NefTaQGFFn+pO7Qan4Oakz4a8vW224EVA=; b=BKMxS8re9fHlV24E/7FnkzhdFtLYRkAYM3qUbPyUJ58cO1CpcjPnJjAkk6PlmBoesc H5WHBh3FZ0k1zppf5QdGXQg3QTL1fkHNylqG6461uMyXcA9J3r3pwws5Trfi6YwZzYe3 qfz2bkSDrG6/ozGUO2OqZfRdioWKvR3xRqQo2kwFAk94wjxBFimd5GXLFBVLFS6b17G+ 6TjGZW9VyYJYCCz16xtiikD1BxnHfR6s2m7mDZQCk5fR+h8BETnjhhLsxU477PzNpbL2 jttNpEQVIRMYhI+ibtsvjBzKnue92NscFsWibgAsLRKadrNI+iJO4VQKfJqWcBNUZ0mh hFrg==
X-Received	by 10.182.24.202 with SMTP id w10mr31928442obf.9.1427784093732; Mon, 30 Mar 2015 23:41:33 -0700 (PDT)
MIME-Version	1.0
Sender	david.maciver@gmail.com
In-Reply-To	<87k2xyq990.fsf@jester.gateway.pace.com>
References	<mailman.346.1427743391.10327.python-list@python.org> <87k2xyq990.fsf@jester.gateway.pace.com>
From	David MacIver <david@drmaciver.com>
Date	Tue, 31 Mar 2015 08:41:13 +0200
X-Google-Sender-Auth	ZvKBSPxJ_4IFMNSBuGB0RI7zGCw
Subject	Re: Hypothesis 1.0: A production quality property-based testing library for Python
To	Paul Rubin <no.email@nospam.invalid>
Cc	python-list <python-list@python.org>
Content-Type	multipart/alternative; boundary=001a11c2d3b2b913c205128fe314
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.360.1427785865.10327.python-list@python.org> (permalink)
Lines	47
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1427785865 news.xs4all.nl 2887 [2001:888:2000:d::a6]:49299
X-Complaints-To	abuse@xs4all.nl
Xref	csiph.com comp.lang.python:88366

Show key headers only | View raw

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

On 31 March 2015 at 02:51, Paul Rubin <no.email@nospam.invalid> wrote:

> David MacIver <david@drmaciver.com> writes:
> > Hypothesis is based on Quickcheck
> > (https://wiki.haskell.org/Introduction_to_QuickCheck2)
>
> This is great.  Have you looked at the Erlang version of Quickcheck?  It
> may have aspects more directly applicable to Python, since Erlang is
> dynamically typed like Python is.
>

I actually haven't looked at it much. I've read some of the associated
papers, but due to a mix of my not really knowing erlang well and it being
proprietary it's not as useful for idea mining as I'd like it to be. I have
some friends who are more extensive users of it who I've talked to a bit
about it for feature comparisons though.

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

Thread

Hypothesis 1.0: A production quality property-based testing library for Python David MacIver <david@drmaciver.com> - 2015-03-30 20:44 +0200
  Re: Hypothesis 1.0: A production quality property-based testing library for Python Paul Rubin <no.email@nospam.invalid> - 2015-03-30 17:51 -0700
    Re: Hypothesis 1.0: A production quality property-based testing library for Python David MacIver <david@drmaciver.com> - 2015-03-31 08:41 +0200

csiph-web