Interactive Program Synthesis

程序合成是计算机科学的一个重要领域，其应用范围从许多电子表格包中发现的简单自动完成工具，一直到能够自行构建整个程序的成熟系统。程序合成器是一种系统，用户可以用某种语言描述他们想要的程序；合成器的目的就是编写这样一个程序。因此，合成技术在两个本质上总是可以有所不同：用户描述所需程序的语言，以及系统生成该程序的方法。这个项目将侧重于用函数式编程语言（如Haskell）编写的程序的合成。这些语言的纯洁性和可组合性使它们非常适合解决这个问题。大多数现有的函数式语言合成技术可以分为以下三类：分析式、列举式和基于学习的方法。

Program synthesis is an important field of computer science, with applications ranging from the simpleauto-completion tools that are found in many spreadsheet packages, all the way to fully-fledged systemsthat are capable of constructing entire programs on their own.A program synthesiser is a system to which a user can describe, in some language, a program whichthey would like; the aim of the synthesiser is to write such a program. There are then two essentialways in which synthesis techniques can differ: the language in which the user describes the desiredprogram, and the method by which the system produces this program.This project will focus on the synthesis of programs that are written in functional programminglanguages, such as Haskell. The purity and composability of these languages makes them well suitedto the problem. Most existing synthesis techniques for functional languages can be placed into one ofthree categories: analytical, enumerative, and learning-based approaches.