recently i was tinkering with the idea vedil.wordpress.com/2014/07/09/test-driven-program-synthesis/

is this feasible?