Mathieu Barbin and Mehdi Bouaziz
A Unified Library of Primitives for QML Compilers and Interpreters
technical report, MLstate, September 2009
- PDF, 6 pages, 149 KB
- Abstract: We present in this document a new approach to the management of primitives of the QML language, in all kind of applications, including compilers, interpreters, as well as static analysers, etc. QML being the internal translation of the main language OPA designed by MLstate to build commercial web-applications, QML must support several kinds of compilations, targetting the client-side language JavaScript, and server-side languages OCaml, and more recently LLVM. By primitives, we denote here the part of the implementation used as initial library for QML (and so, OPA) applications, including functions to handle web protocols and markup languages, mathematics, low level database management, etc. This can be seen as the core part of QML which has to be implemented in each target language, unlike the rest of the language constructions which are automatically and efficiently compiled.
We expose in this document the main ideas leading to a standardized and shared interface between the implementation of these primitives, and the MLstate applications, offering a possible yet static typing verification of the initial code, dynamic introspection features, and a shared implementation of the primitives between interpreters or compilers manipulating codes with different runtime algebras, thanks to regenerated specializations of the initial library, using a type projection system. - @techreport{BarbinBouaziz-MLstate09,
author = {Mathieu Barbin and Bouaziz, Mehdi},
title = {A Unified Library of Primitives for QML Compilers and Interpreters},
year = {2009},
month = {September},
url = {http://www.bouaziz.me/p/BarbinBouaziz-MLstate09.pdf}
}
Last update: January 24, 2014