Zobrazit v EDS

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

Uloženo v:
Podrobná bibliografie
Název: ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
Autoři: Ramsey, Norman1
Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Mar2006, Vol. 148 Issue 2, p181-209. 29p.
Témata: Lua (Computer program language), Translators, Nielim language, Programming languages
Abstrakt: Abstract: To illustrate the utility of a powerful modules language, this paper presents the embedded interpreter Lua-ML. The interpreter combines extensibility and separate compilation without compromising type safety. Its types are extended by applying a sum constructor to built-in types and to extensions, then tying a recursive knot using a two-level type; the sum constructor is written using an ML functor. The initial basis is extended by composing initialization functions from individual extensions, also using ML functors. [Copyright &y& Elsevier]
Databáze: Supplemental Index
Popis
Abstrakt:Abstract: To illustrate the utility of a powerful modules language, this paper presents the embedded interpreter Lua-ML. The interpreter combines extensibility and separate compilation without compromising type safety. Its types are extended by applying a sum constructor to built-in types and to extensions, then tying a recursive knot using a two-level type; the sum constructor is written using an ML functor. The initial basis is extended by composing initialization functions from individual extensions, also using ML functors. [Copyright &y& Elsevier]
ISSN:15710661
DOI:10.1016/j.entcs.2005.11.045