Extensible ML |
: 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 programming language-like programming language that adds support for object-oriented idioms in a functional (programming) setting. EML extends ML-style Datatypes and function (programming)s 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.
Additional information about EML, with a full prototype example, can be found at http://www-2.cs.cmu.edu/~fp/courses/03-312/software.html
Other than being similarly derived from ML, Extensible ML is not related to the specification language Extended ML.
=See also=
*O Caml programming language *O Haskell programming language
=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.|
|