Extensible ML

Extensible ML

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.

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.

ee also

*OCaml 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.

External links

*http://www-2.cs.cmu.edu/~fp/courses/03-312/software.html


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • extensible — [ ɛkstɑ̃sibl ] adj. • 1390, repris 1762; de extension 1 ♦ Susceptible de s étendre dans le sens de la longueur (⇒ extension). L or, métal extensible. ⇒ ductile, malléable. Le caoutchouc, matière extensible qui peut reprendre sa forme. ⇒ élastique …   Encyclopédie Universelle

  • Extensible — Ex*ten si*ble, a. [Cf. F. extensible. See {Extend}.] Capable of being extended, whether in length or breadth; susceptible of enlargement; extensible; extendible; the opposite of {contractible} or {compressible}. An extensible membrane Holder.… …   The Collaborative International Dictionary of English

  • extensible — adjetivo 1. Que se puede extender o ampliar: Hago la oferta extensible a todos los compradores. Es una mesa extensible. escalera extensible …   Diccionario Salamanca de la Lengua Española

  • Extensible 3D — (X3D) est un format de fichier graphique et multimédia orienté 3D. Il a été créé par le consortium Web3D dans le but de succéder à VRML 2.0/97. Il fut normalisé par l ISO en 2005. X3D s appuie sur une structuration de type graphe de scène et peut …   Wikipédia en Français

  • extensible — UK US /ɪkˈstensɪbl/ adjective ► IT used to describe a computer program or language that can be changed by the people who use it in order to make it suitable for what they need to do …   Financial and business terms

  • extensible — 1. adj. Que se puede extender. 2. m. Méx. Pulsera de reloj …   Diccionario de la lengua española

  • extensible — [ek sten′səl, ik sten′səlek sten′sə bəl, iksten′sə bəl] adj. [Fr < ML extensibilis < L extensus, pp. of extendere] that can be extended: also extensile [ek sten′səl, ik sten′səl] extensibility n …   English World dictionary

  • extensible — ► adjetivo 1 Que está pensado para ser extendido: ■ necesitas un cable extensible. SINÓNIMO [alargable] 2 Que se puede extender o ampliar: ■ es una teoría extensible a otras ciencias. ► sustantivo masculino 3 Pulsera de reloj. * * * extensible… …   Enciclopedia Universal

  • extensible — {{#}}{{LM E17139}}{{〓}} {{SynE17584}} {{[}}extensible{{]}} ‹ex·ten·si·ble› {{《}}▍ adj.inv.{{》}} Que se puede extender: • El sofá de mi salón tiene una cama extensible.{{○}} {{#}}{{LM SynE17584}}{{〓}} {{CLAVE… …   Diccionario de uso del español actual con sinónimos y antónimos

  • extensible — (èk stan si bl ) adj. 1°   Qui est susceptible d être étendu par l action simultanée de deux forces agissant en sens contraire. L or est le plus extensible de tous les métaux. 2°   Terme d anatomie. Qui peut s étendre, s allonger. La langue… …   Dictionnaire de la Langue Française d'Émile Littré

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”