Pragmatic Inductive Functional Programming by Systematic Search

点击翻译按钮获取中文摘要

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.