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

Groups > comp.lang.python > #93105 > unrolled thread

Re: Looking for people who are using Hypothesis and are willing to say so

Back to article view | Back to comp.lang.python

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: Looking for people who are using Hypothesis and are willing to say so Paul Rubin <no.email@nospam.invalid> - 2015-06-24 15:13 -0700

#93105 — Re: Looking for people who are using Hypothesis and are willing to say so

David MacIver <david@drmaciver.com> writes:
> Author of Hypothesis here. (If you don't know what Hypothesis is, you're
> probably not the target audience for this email but you should totally
> check it out: https://hypothesis.readthedocs.org/

Oh very cool: a QuickCheck-like unit test library.  I heard of something
like that for Python recently, that might or might not have been
Hypothesis.  I certainly plan to try it out.  The original QuickCheck
(for Haskell) used the static type signatures on the functions under
test to know what test cases to generate, but Erlang QuickCheck has had
some good successes, including finding some subtle bugs during
development in the HAMT (Clojure-like hash array mapped trie)
implementation just released with Erlang/OTP 18.0 this week.

I see Hypothesis use decorators that look sort of like Erlang Dialyzer
so that can help with test cases.  Maybe later, it use Python 3 type
annotations, though I think those are still much less precise than
Dialyzer or Haskell types.

[toc] | [standalone]

Back to top | Article view | comp.lang.python

csiph-web