面向对象程序设计体裁嵌入FFP-AST系统

OBJECT-ORIENTED PROGRAMMING PARADIGM EMBEDED IN FFP-AST SYSTEM

FFP语言是这样的一种纯粹的泛函程序设计语言,它奠基于严格的数学理论基础之上,是归约语言L_4的一个子类。本文将面向对象编程(OOP)体裁相当简洁地嵌入到FFP-AST系统中。这样,一方面,揭示了面向对象编程体裁(OOPP)与泛函编程体裁(FPP)之间的近亲关系;另一方面,为OOPP奠定了 FFP-AST语义描述。本文实质上也提供了一种“加于FFP语言之上的兼备FPP和OOPP的编程语言”。贯穿文中的方法论归结为:紧密联系和使用自动机这一概念。

Basing upon a strict mathematical theory, the programming language FFP[1] is a purely functional programming language and a subset of the reduction language (?)4[2,3]. In this paper the object-oriented programming (OOP) paradigm is considerably succinctly embeded in the FFP-AST system. By this means, on the one hand, it- is revealed that the object-oriented programming paradigm (OOPP) and the functional programming paradigm (FPP) are closely related. On the other hand, the semantics of OOPP described by the FFP-AST is settled. In essence, a programming language is proposed, being possessed of both FPP and OOPP. To put it in a nutshell, the methodology penetrating the work in this paper is the idea of closely integrating the automation with practice.