论文部分内容阅读
一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献[2]论述了“基本合成子I,S,K能够被定义成FFP中的泛函”。本文,从另一方面,论证“FFP中的表示函数ρ和语义函数μ可表示成合成逻辑中的合成子”,从而,揭示了ρ和μ的本质,也为FFP语言奠定了合成逻辑基础。将文献[1]中的第四层逻辑(FP语言)与ρ和μ两合成子联合起来,就构成了FPP这一更高级合成逻辑。
I. Preface [1] lays the foundations of synthetic logic for functional programming language FP and confirms that “FP is a kind of advanced synthesis logic.” As for the relationship between FFP and synthetic logic, [2] discusses that “basic synthons I, S, K can be defined as functional in FFP”. This article, on the other hand, demonstrates that “the representation function ρ and the semantic function μ in FFP can be expressed as synthons in the synthesis logic,” revealing the nature of ρ and μ and laying the foundations of synthetic logic for the FFP language. Combining the fourth level of logic (FP) in literature [1] with the two combined ρ and μ, constitutes the higher level synthesis logic of FPP.