论文标题
通过功能发明学习功能程序和重复使用
Learning functional programs with function invention and reuse
论文作者
论文摘要
归纳编程（IP）是一个领域，其主要目标是构成尊重一组示例的程序，鉴于某种形式的背景知识。本文涉及IP的子字段，归纳功能编程（IFP）。我们探讨了生成模块化功能程序的想法，以及如何允许功能重复使用的想法，目的是减少程序的大小。我们介绍了两种试图解决问题并在模块化程序背景下探索基于类型的修剪技术的算法。通过实施其中一种算法的实施，我们表明重复使用对于各种问题很重要（如果不是至关重要），并区分了两个广泛的程序，这些程序通常会从功能重用中受益。
Inductive programming (IP) is a field whose main goal is synthesising programs that respect a set of examples, given some form of background knowledge. This paper is concerned with a subfield of IP, inductive functional programming (IFP). We explore the idea of generating modular functional programs, and how those allow for function reuse, with the aim to reduce the size of the programs. We introduce two algorithms that attempt to solve the problem and explore type based pruning techniques in the context of modular programs. By experimenting with the implementation of one of those algorithms, we show reuse is important (if not crucial) for a variety of problems and distinguished two broad classes of programs that will generally benefit from function reuse.
