Re: Adatx - Test driven development... literally.

Hi William, All. The idea of quines and the existence of evalo is new to me (just reading Wikipedia about them now), exiting stuff. I've added extra examples to adatx's read-me. They are contrived in the sense I knew the solution upfront and kno

Re: Adatx - Test driven development... literally.

Hey everyone! Adatx looks like fun! I tried coming up with a simple miniKanren/cKanren program that can synthesize the program on the adatx github page: https://github.com/webyrd/mad-at-x I just implemented a simple evaluator for expressions including +, -, integers from 0-11 (extending the d

Re: Adatx - Test driven development... literally.

Right. Yes, it looks very interesting, and I need to research it too. Well I'm certainly keen on hearing about your results. Tim Washington Interruptsoftware.com On Fri, Mar 14, 2014 at 7:13 AM, Ludwik Grodzki wrote: > Tim. > > Thank you for the William Byrd vi

Re: Adatx - Test driven development... literally.

Tim. Thank you for the William Byrd video link, more research for me to follow up on. I have not seen core.logic examples that would suggest I could do the program search in clojure's program space vs in the MiniKanren program space. I need to look at core.logic more closely. That and core.type

Re: Adatx - Test driven development... literally.

Not yet. On Thursday, 13 March 2014 03:29:52 UTC, Alex Baranosky wrote: > > There goes my job... > > > On Wed, Mar 12, 2014 at 8:00 PM, Timothy Washington > > > wrote: > >> This looks interesting. I was hammocking a solution that could use that. >> But on Infoq, I recently >> watched

Re: Adatx - Test driven development... literally.

There goes my job... On Wed, Mar 12, 2014 at 8:00 PM, Timothy Washington wrote: > This looks interesting. I was hammocking a solution that could use that. > But on Infoq, I recently > watchedWilliam > Byrd, describing just

Re: Adatx - Test driven development... literally.

This looks interesting. I was hammocking a solution that could use that. But on Infoq, I recently watchedWilliam Byrd, describing just this feature in MiniKanren. As such, I expect to see this feature will be in core.logic. Di

Re: Adatx - Test driven development... literally.

... and here's an example of how it works: (def workings (adatx/prob-solve { :symvec['+ '- '* '/ 'x1 'x2] :prog-holder '(fn [x1 x2] :adatx.prog-hold/prog) :in-out-pairs [{:in [1 2] :out 4} {:in [1 3] :out 5} {:in [2 3] :out 7}

Adatx - Test driven development... literally.

Hello Clojure Group. I've put together a little library that writes clojure code for you... given test input/output examples and a heuristic of relevant functions. https://github.com/LudoTheHUN/adatx Feedback + contributions very welcome. Regards. Ludwik. -- You received this message becaus