结合面向对象和函数式语言的概念

• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 面向对象程序设计 多重集成 方法重定义 动态绑定 静态类型安全性 二元方法 函数式程序设计 代数数据类型 高阶函数 ML-多态性
• 年，卷（期）: 2000,（1）
• 页码范围: 8-22
• 页数: 15页
• 分类号: TP311
• 字数: 2930字
• 语种: 中文

摘要

考虑了结合面向对象和函数式程序风范的问题.与这一方向的大多数方法相比,这种结合方法有下面两个优点:首先,结合了在广泛流行的几种主语言中非常有名的一些重要概念.换言之,没有引入新的语言概念并试图以新的概念为基础解释众所周知的语言概念.其次,这种结合具有下面的性质:如果整个语言以传统方式使用则不受个别的语言概念的影响,这样,只有在使用一个语言概念的时候才需要关注它.具体地说,提出了一个具有简明操作语言的用于函数式面向对象程序设计的核心语言,它具有如上所述的性质.这个核心语言结合了Eiffel, Java, ML和Haskell语言中的下列核心语言概念:对象,类,多重继承,方法重定义,动态绑定,静态类型安全性,二元方法,代数数据类型,高阶函数,ML-多态性.