3 ms·
This is an active field of research. Search for "program synthesis". We are advancing, but the current state is... not mind-blowing yet (albeit somewhat cool!)
by kilburn 5y ago
This is an active field of research. Search for "program synthesis".
We are advancing, but the current state is... not mind-blowing yet (albeit somewhat cool!). See [1] for an example interactive demo and [2] for the corresponding presentation.
[1] http://comcom.csail.mit.edu/comcom/#Synquid http://comcom.csail.mit.edu/comcom/#Synquid
[2] https://www.youtube.com/watch?v=HnOix9TFy1A https://www.youtube.com/watch?v=HnOix9TFy1A
- hwayne 5y agoI was in the audience for that talk. The recording doesn't capture how much energy there was- we were all gasping and cheering throughout. Still a decade off from production, though. That it doesn't just take "test cases": you have to know how to formally express the program properties, which is a separate skill from both unit testing and implementing.