Pragmatic Inductive Functional Programming by Systematic Search

项目负责人在理论和真实的系统实现两个方面都对归纳函数式编程进行了研究，即从输入/输出示例对进行自动编程。因此，除了改进基于系统搜索的示例性归纳函数式编程系统MagicHaskeller之外，他还开发了第一个自动编程服务器“MagicHaskeller on the Web”并将其公开。该服务器配备了生成文档链接的功能，特别是对于初学程序员学习函数式编程和编写实际应用程序非常有用。

The project leader has done research on inductive functional programming, namely automatic programming from input/output example pairs, on both sides of theory and real system implementation. As a result, in addition to improving MagicHaskeller, which is the exemplary inductive functional programming system based on systematic search, he developed the first automatic programming server "MagicHaskeller on the Web" and made it public. The server, equipped with the functionality of generating links to documentation, is quite useful especially for beginning programmers to learn functional programming and writing real-world applications.