Extensible ML
From Free net encyclopedia
- This article is about the programming language called Extensible ML. For a description of the general-purpose markup language called Extensible Markup Language see XML.
Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting. EML extends ML-style datatypes and functions with a class construct designed to be extended into hierarchies, thus allowing the programmer to seamlessly integrate the object-oriented programming paradigm with the traditional functional style.
Other than being similarly derived from ML, Extensible ML is not related to the specification language Extended ML.
[edit]
See also
[edit]
References
- Millstein, Bleckner, Chambers. Modular typechecking for hierarchically extensible datatypes and functions. Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, ACM Press, 2002.
[edit]
External link