[mvh]

I use program synthesis - cutting edge technology from, I think, the 70s?

[pizza]

What kinds? What’s the best process to do program synthesis? The more I write programs by hand the more I think it should probably be a first-class design consideration for new programming languages