Program Sketching with Live Bidirectional Evaluation

Justin Lubin, Nick Collins, Cyrus Omar +1

We present a system called Smyth for program sketching in a typed functional language whereby the concrete evaluation of ordinary assertions gives rise to input-output examples, wh…