合成语言FOPL基于方程逻辑的语义

摘要

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风格和面向对象程序设计风格的合成语言，本文介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则，表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义。