Embedding an interpreted language using higher-order functions and types

8 June 2003

conference paper
Published by Association for Computing Machinery (ACM)

p. 6-14
https://doi.org/10.1145/858570.858571

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.

Keywords

EMBEDDED INTERPRETER
SUITABLE API
TYPICAL APPLICATION-PROGRAM FUNCTION
SIGNIFICANT SOFTWARE-ENGINEERING BENEFIT
C CODE
HIGHER-ORDER FUNCTION
NEW API
DIFFERENT LANGUAGE
COMPLICATED APPLICATION
LUA-ML INTERPRETER
SOFTWARE ENGINEERING
HIGHER ORDER FUNCTIONS

This publication has 2 references indexed in Scilit:

Lua—An Extensible Extension Language
Software: Practice and Experience, 1996
Type-directed partial evaluation
Published by Association for Computing Machinery (ACM) ,1996