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 tjre...@udel.edu wrote: On 3/30/2015 4:46 PM, David MacIver wrote: On 30 March 2015 at 22:37, Terry Reedy tjre...@udel.edu mailto:tjre...@udel.edu wrote: https://www.python.org/dev/__peps/pep-0484/ https://www.python.org/dev/peps/pep-0484/

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 no.email@nospam.invalid wrote: David MacIver da...@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

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

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

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 tjre...@udel.edu 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

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 tjre...@udel.edu mailto:tjre...@udel.edu wrote: https://www.python.org/dev/__peps/pep-0484/ https://www.python.org/dev/peps/pep-0484/ proposes the addition of a 'typing' module for defining types

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

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