Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
ML Module Mania: A Type-Safe, Separately Compiled,
Extensible Interpreter
(Abstract)
ML Module Mania: A Type-Safe, Separately Compiled,
Extensible Interpreter
To illustrate the utility of a powerful
modules language, this paper presents
the embedded interpreter Lua-ML.
The interpreter combines extensibility and
separate compilation without compromising type safety.
Its types are extended by applying a sum constructor to
built-in types and to extensions, then tying a recursive knot using a
two-level type;
the sum constructor is written using an ML functor.
The initial basis is extended by composing
initialization functions from individual extensions, also using
ML functors.