Lua-ML is an implementation of the Lua 2.5 programming language written in OCaml and designed for extending OCaml programs.
Highly configurable programs like games, text editors, or test generators require extensibility since it's not possible to include functionality for every possible use case.
For many such programs, embedding a small general purpose language can be a better option than implementing their own DSL, and definitely better than creating an accidentally Turing-complete configuration file format.
Lua-ML is not a set of bindings for the PUC-Rio implementation written in C. It's a complete implementation of a Lua 2.5 interpreter and runtime in OCaml.
This has a number of advantages:
The Lua library is not a single module, but a set of OCaml modules and functors. That allows you to exclude some modules from the runtime, add your own modules, or even completely replace the default standard library with your own modules.
Registering functions and passing (embedding) values to Lua is as type safe as everything else in OCaml, so errors in interfacing with Lua are caught at compile time.
Since there is no unmanaged code involved, Lua code cannot crash its host program or access memory it's not supposed to access (assuming there are no memory safety bugs in the OCaml runtime of course).
It should be safe to use it even for untrusted scripts, if you don't include
modules like Luaiolib into the runtime. Of course, you still should exercise
extreme caution if you actually choose to run untrusted scripts.
Bindings usually require a specific version of the PUC-Rio implementation (e.g. 5.1) and may stop working with newer versions, which makes software harder to build and introduces new maintenance costs.
A pure OCaml implementation doesn't have that problem. The fact that this project was revived with minimal effort after more than a decade of dormancy is telling.
- Incompatible with existing Lua libraries.
- Impelements, at this time, only antiquated Lua 2.5.
Lua-ML is usable and works quite well, but there's still room for improvement, especially in error reporting.
It doesn't make an API stability promise yet, which is why the versions are 0.9.x. I do promise to keep breaking changes to the minimum, but there's a chance they will be necessary.
One problem with backporting improvements from post-2.5 Lua specifications is that PUC-Rio Lua itself made a bunch of incompatible change on the way, so future direction requires a discussion with the user community.
opam install lua-ml
There isn't much documentation now. Any help is welcome!
For an example application, take a look at example/luaclient.ml. It shows how to provide
a custom type (2-tuple) as userdata, register your own module, and run Lua code.
dune exec example/luaclient.exeYou can also read the original papers by Norman Ramsey:
- Embedding an Interpreted Language Using Higher-Order Functions and Types
- ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
Lua-ML once was a literate program and a snapshot of the last pre-revival NoWeb version
is kept in docs/noweb. There's no easy way to make a PDF out of it, but reading the NoWeb
source can give a good insight into the internals.
A real life example of a project using Lua-ML is soupault, a native but extensible static site generator/HTML processor. It exposes the element tree of the page as an abstract type (userdata) and makes HTML manipulation functions from lambdasoup available to plugins.
Historical examples that used older Lua-ML versions include:
Lua-ML was developed as part of the C-- compiler project developed by Norman Ramsey and was part of its source code. The complicated build process of C-- made it hard to build and use in other programs.
Then Christian Lindig, who also worked on C-- from 2000 to 2002, extracted it from C-- and reworked it into a standalone library to preserve it and make easier to use.
In 2018-2019, effort of Gabriel Radanne and Daniil Baturin allowed Lua-ML to build with modern OCaml and become an OPAM package.
The current maintainer is Daniil Baturin daniil+luaml@baturin.org.
Lua-ML is distributed under the two-clause BSD license. See the LICENSE file for details.