方程式语言中扩充高阶函数

An Extension to Equational Programming Language with High Order Functions

本文在原有的方程式语言的基础上,扩充引入高阶函数,使得方程式语言的使用更为方便,表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式.系统将高阶形式转换成Curry形式.这样整个程序在原解释下运行。

This paper intruduces an extension to equational language with high order functions. Both the first order functions and high order functions are allowed to apperar in the source programs of the language. An interpretation system will translate the high order form into the Curry's form. The translation techniques are based on Lambda-lifting technique.