Sorry, I wasn't clear enough in my proposal.

I've mentioned clojurecheck [1] in it and the possibility of extending it, 
because in my Erlang experience property-based testing is extremely helpful 
for things that operates on something pure in complicated way — exactly 
like core.matrix. But clojurecheck (AFAIK) doesn't support a (arguably) 
critical feature of "shrinking" — that is, reducing a failing randomly 
generated test case (that can be huge and very unwieldy to check by hand) 
to a minimal one. So, I suppose, given the fair amount of literature on the 
topic, shrinking can be done during this project. It's not a "plan" yet, 
though, just an idea.

[1] https://github.com/jbondeson/clojurecheck
[2] http://proper.softlab.ntua.gr/

On Tuesday, May 28, 2013 12:30:15 PM UTC+4, Ambrose Bonnaire-Sergeant wrote:
>
> First of all, congrats on the project!
>
> Could you elaborate on your mention of QuickCheck, I couldn't find it in 
> the proposal.
>
> Thanks,
> Ambrose
>
>
> On Tue, May 28, 2013 at 4:25 PM, Dmitry Groshev 
> <lambda...@gmail.com<javascript:>
> > wrote:
>
>> Hello, Clojurians.
>>
>> I was selected during GSoC process to implement a core.matrix-compatible 
>> NDArray in Clojure. More info about this project can be found at [1] and 
>> [2]. However, I would be really happy to know if there are any comments, 
>> wishes or feature requests regarding that proposals (please take note that 
>> there is also a clojurecheck / QuickCheck mention in my proposal) from you, 
>> the community, so I can plan ahead my commitment to the project.
>>
>> So, please, feel free to speak about your matrix- (or 
>> pure-function-testing-) related itches.
>>
>> [1] 
>> https://google-melange.appspot.com/gsoc/proposal/review/google/gsoc2013/si14/10001
>> [2] 
>> http://dev.clojure.org/display/community/Project+Ideas#ProjectIdeas-NDArrayImplementationinClojure
>>  
>> -- 
>> -- 
>> You received this message because you are subscribed to the Google
>> Groups "Clojure" group.
>> To post to this group, send email to clo...@googlegroups.com<javascript:>
>> 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 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.


Reply via email to