Embedding an interpreted language using higher-order functions and types

ABSTRACT

Using an embedded, interpreted language to control a complicated application can have significant software-engineering benefits. But existing interpreters are designed for embedding into C code. To embed an interpreter into a different language requires a suitable API. Lua-ML is a new API that uses higher-order functions and types to simplify the use of an embedded interpreter. A typical application-program function can be added to a Lua-ML interpreter simply by describing the function's type.

REFERENCES

• 1: Beazley, David M. 1996. SWIG: An easy to use tool for integrating scripting languages with C and C++. In USENIX, editor, Proceedings of the fourth annual Tcl/Tk Workshop, pages 129--139, Berkeley, CA.
• 2: Benson, Brent W. 1994 (October). Libscheme: Scheme as a C library. In Proceedings of the USENIX Symposium on Very High Level Languages, pages 7--19.
• 3: Benton, Nick. 2003. Embedded interpreters. See http://research.microsoft.com/~nick.
• 4: Celes, Waldemar. 2003 (March). toLua---accessing C/C++ code from Lua. See http://www.tecgraf.puc-rio.br/~celes/tolua.
• 5: Olivier Danvy, Type-directed partial evaluation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.242-257, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237784]
• 6: Olivier Danvy, A Simple Solution to Type Specialization, Proceedings of the 25th International Colloquium on Automata, Languages and Programming, p.908-917, July 13-17, 1998
• 7: Roberto Ierusalimschy , Luiz Henrique de Figueiredo , Waldemar Celes Filho, Lua—an extensible extension language, Software—Practice & Experience, v.26 n.6, p.635-652, June 1996 [doi>10.1002/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P]
• 8: ---. 1996b (November). Reference Manual of the Programming Language Lua 2.5. TeCGraf, PUC-Rio. Available from the author.
• 9: ---. 2001 (May). The evolution of an extension language: A history of Lua. In V Brazilian Symposium on Programming Languages, pages B14--B28. (Invited paper).
• 10: Tim Jenness , Simon Cozens, Extending and embedding Perl, Manning Publications Co., Greenwich, CT, 2003
• 11: Oliver Laumann , Carsten Bormann, Elk: the Extension Language Kit, Computing Systems, v.7 n.4, p.419-449, Fall 1994
• 12: Leroy, Xavier, Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. 2001. The Objective Caml system release 3.04: Documentation and user's manual. INRIA. Available at http://pauillac.inria.fr/ocaml/htmlman.
• 13: Ousterhout, John K. 1990 (January). Tcl: An embeddable command language. In Proceedings of the Winter USENIX Conference, pages 133--146.
• 14: John K. Ousterhout, Tcl and the Tk toolkit, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994
• 15: Ramsey, Norman. 2003 (March). ML module mania: A typesafe, separately compiled, extensible interpreter. Available from http://www.eecs.harvard.edu/~nr/pubs/mania-abstract.html.
• 16: van Rossum, Guido. 2002. Extending and Embedding the Python Interpreter. Release 2.2.2.