使用高阶函数和类型嵌入解释语言
使用嵌入式、解释型语言到控制复杂的应用程序可能具有重要意义软件工程的好处。但现有的解释器是为嵌入C代码而设计的。要将解释器嵌入不同的语言，需要API适合那种语言。本文介绍Lua-ML是一种新的API，适用于提供高阶函数和类型。API利用高阶函数和类型来减少数量胶水代码需要使用嵌入式解释器。在C中嵌入需要特殊用途的“粘合函数”对于要嵌入的每个函数，在Lua-ML中嵌入只需要一个每个函数类型的描述。Lua-ML还可以轻松定义一个Lua函数，该函数的行为取决于其参数的数量和类型。全文
全文将出现在功能杂志编程. 预印本现在可以作为美国信函PostScript（269000），美国信函PDF（173K），和美国字母TeX DVI（117K）。