Sketch is a synthesis-enabled language that allows programmers to write programs with holes and then rely on constraint-based synthesis to discover the missing code.