ANN: double-check, a Clojure/ClojureScript-portable fork of simple-check

2013-11-21 Thread Chas Emerick
Reid Draper's simple-check[1] is a generative/property-based testing 
library for Clojure that implements (and improves upon IMO) the 
shrinking of failing test cases seen in e.g. quickcheck in the Haskell 
and Erlang lands.


simple-check has totally changed how I do certain kinds of testing. From 
the beginning, I've wanted to use it when testing ClojureScript 
libraries and apps as well, since most of my ClojureScript code is 
portable to Clojure, or made that way with cljx[2].


The result is double-check, a fork of simple-check that provides the 
same API and generator semantics for Clojure and ClojureScript:


https://github.com/cemerick/double-check

double-check will fast-follow the development of simple-check, aiming to 
provide nothing more than a portable API; there should never be anything 
novel or interesting in double-check, except for the recasting of the 
simple-check codebase into a portable form.


Naturally, double-check adds support/integration for 
clojurescript.test[3] where simple-check supports/integrates clojure.test.


I've discovered (and reported and/or fixed) a number of issues in 
ClojureScript itself solely by making simple-check's own tests portable, 
and running them on ClojureScript.  I suspect you'll have the same 
experience with your own Clojure/ClojureScript projects once you apply 
double-check to them.


Cheers,

- Chas

[1] https://github.com/reiddraper/simple-check
[2] https://github.com/lynaghk/cljx
[3] https://github.com/cemerick/clojurescript.test

--
--
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups Clojure group.

To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.


Re: ANN: double-check, a Clojure/ClojureScript-portable fork of simple-check

2013-11-21 Thread Stephen Cagle
Did you try out test.generative? If so, how does simple check contrast to 
test.generative?

On Thursday, November 21, 2013 11:31:19 AM UTC-8, Chas Emerick wrote:

 simple-check is planning on remaining Clojure-only, at least for the 
 foreseeable future.  This non-fork fork is the best alternative Reid 
 and I could come up with to enable people to use it on both Clojure and 
 ClojureScript.  Hopefully double-check will be unnecessary at some 
 point. :-) 

 - Chas 

 On Thu 21 Nov 2013 02:01:02 PM EST, Max Penet wrote: 
  Looks good! 
  
  I am wondering though, why not merging your work on the parent project 
  instead of creating a new one (with a new name etc), you seemed to be 
  on your way of doing just this? 
  
  On Thursday, November 21, 2013 5:38:16 PM UTC+1, Chas Emerick wrote: 
  
  Reid Draper's simple-check[1] is a generative/property-based testing 
  library for Clojure that implements (and improves upon IMO) the 
  shrinking of failing test cases seen in e.g. quickcheck in the 
  Haskell 
  and Erlang lands. 
  
  simple-check has totally changed how I do certain kinds of 
  testing. From 
  the beginning, I've wanted to use it when testing ClojureScript 
  libraries and apps as well, since most of my ClojureScript code is 
  portable to Clojure, or made that way with cljx[2]. 
  
  The result is double-check, a fork of simple-check that provides the 
  same API and generator semantics for Clojure and ClojureScript: 
  
  
  https://github.com/cemerick/double-checkhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fdouble-checksa=Dsntz=1usg=AFQjCNGMdmXeOnf3w2MMaq09pIO9XEqONw
   
  
 https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fdouble-checksa=Dsntz=1usg=AFQjCNGMdmXeOnf3w2MMaq09pIO9XEqONwhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fdouble-checkamp;sa=Damp;sntz=1amp;usg=AFQjCNGMdmXeOnf3w2MMaq09pIO9XEqONw
  

  
  
  double-check will fast-follow the development of simple-check, 
  aiming to 
  provide nothing more than a portable API; there should never be 
  anything 
  novel or interesting in double-check, except for the recasting of 
 the 
  simple-check codebase into a portable form. 
  
  Naturally, double-check adds support/integration for 
  clojurescript.test[3] where simple-check supports/integrates 
  clojure.test. 
  
  I've discovered (and reported and/or fixed) a number of issues in 
  ClojureScript itself solely by making simple-check's own tests 
  portable, 
  and running them on ClojureScript.  I suspect you'll have the same 
  experience with your own Clojure/ClojureScript projects once you 
  apply 
  double-check to them. 
  
  Cheers, 
  
  - Chas 
  
  [1] 
  https://github.com/reiddraper/simple-checkhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Freiddraper%2Fsimple-checksa=Dsntz=1usg=AFQjCNENCgO1ktV_VfKH71w4oza6yEE0xw
   
  
 https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Freiddraper%2Fsimple-checksa=Dsntz=1usg=AFQjCNENCgO1ktV_VfKH71w4oza6yEE0xwhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Freiddraper%2Fsimple-checkamp;sa=Damp;sntz=1amp;usg=AFQjCNENCgO1ktV_VfKH71w4oza6yEE0xw
  

  
  [2] 
  https://github.com/lynaghk/cljxhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Flynaghk%2Fcljxsa=Dsntz=1usg=AFQjCNErrEPQTKkQAd-ma4oaCPVdW8BUJQ
   
  
 https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Flynaghk%2Fcljxsa=Dsntz=1usg=AFQjCNErrEPQTKkQAd-ma4oaCPVdW8BUJQhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Flynaghk%2Fcljxamp;sa=Damp;sntz=1amp;usg=AFQjCNErrEPQTKkQAd-ma4oaCPVdW8BUJQ
  

  
  [3] 
  https://github.com/cemerick/clojurescript.testhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fclojurescript.testsa=Dsntz=1usg=AFQjCNGiV-NGOk4wuDpgDkZolznHF5c1Dg
   
  
 https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fclojurescript.testsa=Dsntz=1usg=AFQjCNGiV-NGOk4wuDpgDkZolznHF5c1Dghttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fclojurescript.testamp;sa=Damp;sntz=1amp;usg=AFQjCNGiV-NGOk4wuDpgDkZolznHF5c1Dg
  

  
  
  -- 
  -- 
  You received this message because you are subscribed to the Google 
  Groups Clojure group. 
  To post to this group, send email to clo...@googlegroups.comjavascript: 
  Note that posts from new members are moderated - please be patient 
  with your first post. 
  To unsubscribe from this group, send email to 
  clojure+u...@googlegroups.com javascript: 
  For more options, visit this group at 
  http://groups.google.com/group/clojure?hl=en 
  --- 
  You received this message because you are subscribed to the Google 
  Groups Clojure group. 
  To unsubscribe from this group and stop receiving emails from it, send 
  an email to clojure+u...@googlegroups.com javascript:. 
  For more options, visit https://groups.google.com/groups/opt_out. 


-- 
-- 
You 

Re: ANN: double-check, a Clojure/ClojureScript-portable fork of simple-check

2013-11-21 Thread Max Penet
Looks good! 

I am wondering though, why not merging your work on the parent project 
instead of creating a new one (with a new name etc), you seemed to be on 
your way of doing just this?  

On Thursday, November 21, 2013 5:38:16 PM UTC+1, Chas Emerick wrote:

 Reid Draper's simple-check[1] is a generative/property-based testing 
 library for Clojure that implements (and improves upon IMO) the 
 shrinking of failing test cases seen in e.g. quickcheck in the Haskell 
 and Erlang lands. 

 simple-check has totally changed how I do certain kinds of testing. From 
 the beginning, I've wanted to use it when testing ClojureScript 
 libraries and apps as well, since most of my ClojureScript code is 
 portable to Clojure, or made that way with cljx[2]. 

 The result is double-check, a fork of simple-check that provides the 
 same API and generator semantics for Clojure and ClojureScript: 

 https://github.com/cemerick/double-checkhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fdouble-checksa=Dsntz=1usg=AFQjCNGMdmXeOnf3w2MMaq09pIO9XEqONw
  

 double-check will fast-follow the development of simple-check, aiming to 
 provide nothing more than a portable API; there should never be anything 
 novel or interesting in double-check, except for the recasting of the 
 simple-check codebase into a portable form. 

 Naturally, double-check adds support/integration for 
 clojurescript.test[3] where simple-check supports/integrates clojure.test. 

 I've discovered (and reported and/or fixed) a number of issues in 
 ClojureScript itself solely by making simple-check's own tests portable, 
 and running them on ClojureScript.  I suspect you'll have the same 
 experience with your own Clojure/ClojureScript projects once you apply 
 double-check to them. 

 Cheers, 

 - Chas 

 [1] 
 https://github.com/reiddraper/simple-checkhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Freiddraper%2Fsimple-checksa=Dsntz=1usg=AFQjCNENCgO1ktV_VfKH71w4oza6yEE0xw
  
 [2] 
 https://github.com/lynaghk/cljxhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Flynaghk%2Fcljxsa=Dsntz=1usg=AFQjCNErrEPQTKkQAd-ma4oaCPVdW8BUJQ
  
 [3] 
 https://github.com/cemerick/clojurescript.testhttps://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fclojurescript.testsa=Dsntz=1usg=AFQjCNGiV-NGOk4wuDpgDkZolznHF5c1Dg
  


-- 
-- 
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
Clojure group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.


Re: ANN: double-check, a Clojure/ClojureScript-portable fork of simple-check

2013-11-21 Thread Chas Emerick
simple-check is planning on remaining Clojure-only, at least for the 
foreseeable future.  This non-fork fork is the best alternative Reid 
and I could come up with to enable people to use it on both Clojure and 
ClojureScript.  Hopefully double-check will be unnecessary at some 
point. :-)


- Chas

On Thu 21 Nov 2013 02:01:02 PM EST, Max Penet wrote:

Looks good!

I am wondering though, why not merging your work on the parent project
instead of creating a new one (with a new name etc), you seemed to be
on your way of doing just this?

On Thursday, November 21, 2013 5:38:16 PM UTC+1, Chas Emerick wrote:

Reid Draper's simple-check[1] is a generative/property-based testing
library for Clojure that implements (and improves upon IMO) the
shrinking of failing test cases seen in e.g. quickcheck in the
Haskell
and Erlang lands.

simple-check has totally changed how I do certain kinds of
testing. From
the beginning, I've wanted to use it when testing ClojureScript
libraries and apps as well, since most of my ClojureScript code is
portable to Clojure, or made that way with cljx[2].

The result is double-check, a fork of simple-check that provides the
same API and generator semantics for Clojure and ClojureScript:

https://github.com/cemerick/double-check

https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fdouble-checksa=Dsntz=1usg=AFQjCNGMdmXeOnf3w2MMaq09pIO9XEqONw


double-check will fast-follow the development of simple-check,
aiming to
provide nothing more than a portable API; there should never be
anything
novel or interesting in double-check, except for the recasting of the
simple-check codebase into a portable form.

Naturally, double-check adds support/integration for
clojurescript.test[3] where simple-check supports/integrates
clojure.test.

I've discovered (and reported and/or fixed) a number of issues in
ClojureScript itself solely by making simple-check's own tests
portable,
and running them on ClojureScript.  I suspect you'll have the same
experience with your own Clojure/ClojureScript projects once you
apply
double-check to them.

Cheers,

- Chas

[1] https://github.com/reiddraper/simple-check

https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Freiddraper%2Fsimple-checksa=Dsntz=1usg=AFQjCNENCgO1ktV_VfKH71w4oza6yEE0xw

[2] https://github.com/lynaghk/cljx

https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Flynaghk%2Fcljxsa=Dsntz=1usg=AFQjCNErrEPQTKkQAd-ma4oaCPVdW8BUJQ

[3] https://github.com/cemerick/clojurescript.test

https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fcemerick%2Fclojurescript.testsa=Dsntz=1usg=AFQjCNGiV-NGOk4wuDpgDkZolznHF5c1Dg


--
--
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient
with your first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google
Groups Clojure group.
To unsubscribe from this group and stop receiving emails from it, send
an email to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.


--
--
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups Clojure group.

To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.