ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
Uloženo v:
| 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 |
Full Text Finder 
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!