Objective ML: An Effective Object-Oriented Extension to ML
Objective ML: An Effective Object-Oriented Extension to ML
复制标题
Objective ML：ML 的有效的面向对象扩展
DOI：
10.1002/(sici)1096-9942(1998)4:1
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
Jérôme Vouillon
中科院分区：
文献类型：
--
作者：
Didier Rémy;Jérôme Vouillon
目标ML是针对ML和顶级类别的ML的较小的实用性扩展允许大多数面向对象的语言，包括多种遗产，返回自我和二进制方法的方法以及参数类别。可以根据ML多态性将JECT添加到强烈的语言中。
Objective ML is a small practical extension to ML with ob- jects and top level classes. It is fully compatible with ML; its type system is based on ML polymorphism, record types with polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most fea- tures of object-oriented languages including multiple in- heritance, methods returning self and binary methods as well as parametric classes. This demonstrates that ob- jects can be added to strongly typed languages based on ML polymorphism. c ∞ 1997 John Wiley & Sons