) is an ML
-like programming language
that adds support for object-oriented
idioms in a functional
setting. EML extends ML-style datatypes
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.
Extensible ML is related neither to the programming language Extended ML (other than being similarly derived from ML), nor to the specification language eXtensible Markup Language, nor to extensible programming.
- 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.