面向对象程序设计体裁嵌入ffp-ast系统

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