"Inductive Synthesis of Functional Programs" - читать интересную книгу автора (Ute Schmid)