> This formulation disallows loops, so the programs we generate will always be loop-free.<p>Heh -- that's just a little bit of a restriction, isn't it?<p>Very glad to see work like this going on, but it's pretty clear we're still a good distance from general program synthesis. Like nuclear fusion, it's been the technology of the future for 30 years.