论文标题
通过合成逆函数来实施功能模式的研究摘要
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions
论文作者
论文摘要
在本研究摘要中，我们介绍了我们最近在懒惰的功能性编程语言咖喱中实施功能模式的工作。我们的目标是合成咖喱本身中任何给定功能的倒数。功能性语言的设置尤其允许反转非注射功能。通常，由于非图案的语义，逆计算是懒惰语言中的一个非平凡问题。到目前为止，我们能够直接得出有限类别功能的逆函数，即由不涉及额外变量和非线性右侧的规则组成的函数。由于合成的定义基于标准代码，因此可以将已知的优化技术应用于它们。对于所有其他功能，我们仍然可以通过使用非图案统一提供一个反函数。
In this research summary we present our recent work on implementing functional patterns with inverse functions in the lazy functional-logic programming language Curry. Our goal is the synthesis of the inverse of any given function in Curry itself. The setting of a functional-logic language especially allows the inversion of non-injective functions. In general, inverse computation is a non-trivial problem in lazy programming languages due to their non-strict semantics. We are so far able to directly derive the inverse function for a limited class of functions, namely those consisting of rules that do not involve both extra variables and non-linear right-hand sides. Because the synthesized definitions are based on standard code, known optimizations techniques can be applied to them. For all other functions we can still provide an inverse function by using non-strict unification.
