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