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

2015-03-31 Thread David MacIver
On 31 March 2015 at 02:51, Paul Rubin wrote: > David MacIver 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

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

2015-03-31 Thread David MacIver
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

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

2015-03-30 Thread Paul Rubin
David MacIver 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. -- ht

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

2015-03-30 Thread Terry Reedy
On 3/30/2015 4:46 PM, David MacIver wrote: On 30 March 2015 at 22:37, Terry Reedy mailto:tjre...@udel.edu>> wrote: https://www.python.org/dev/__peps/pep-0484/ proposes the addition of a 'typing' module for defining types beyond the bu

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

2015-03-30 Thread David MacIver
On 30 March 2015 at 22:37, Terry Reedy wrote: > On 3/30/2015 2:44 PM, David MacIver wrote: > >> Hypothesis is a Python library for turningunit tests into generative >> tests, covering a far wider range of cases thanyou can manually. Rather >> than just testing for thethings you already know about

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

2015-03-30 Thread Terry Reedy
On 3/30/2015 2:44 PM, David MacIver wrote: Hypothesis is a Python library for turningunit tests into generative tests, covering a far wider range of cases thanyou can manually. Rather than just testing for thethings you already know about, Hypothesis goes out and actively hunts forbugs in your co

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

2015-03-30 Thread David MacIver
Hypothesis is a Python library for turning unit tests into generative tests, covering a far wider range of cases than you can manually. Rather than just testing for the things you already know about, Hypothesis goes out and actively hunts for bugs in your code. It usually finds them, and when it do