Comment by kevinpet
13 years ago
"I'd like to update code and see the unit tests update automatically"
I think you have that a bit backwards there. I want to write the tests and have my code automatically update to make them pass.
13 years ago
"I'd like to update code and see the unit tests update automatically"
I think you have that a bit backwards there. I want to write the tests and have my code automatically update to make them pass.
Simple. Do some monte carlo comparisons between a large number of generated functions, based on various heuristics like number of instructions. So quickly get rid of explicit mapping of tests, especially if used larger. Add some genetic algorithms and a little more AI stuff ;)
One interesting thing though with auto-generated code based on specific test code is that when the test fails at some point the process just has to be repeated, potentially being done automatically.
Why not jump to prolog if you want to want to declare what the properties of the code are and have the compiler figure out how to actually do it?
"Combinatorial Sketching" is a surprising technique that does something close to this:
http://people.csail.mit.edu/asolar/papers/asplos06-final.pdf
http://blip.tv/clojure/dan-friedman-and-william-byrd-minikan...
19:20