User loginNavigation |
Module Mania: A Type-Safe, Separately Compiled, Extensible InterpreterModule Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
This is an excellent example of how the ML module language doesn't merely provide encapsulation but also strictly adds expressive power. It also demonstrates how a dynamic language (Lua) can be embedded in the statically-typed context of ML. Finally, it demonstrates that none of this need come at the expense of separate compilation or extensibility. Norman Ramsey's work is always highly recommended. By Paul Snively at 2005-12-07 14:58 | DSL | Functional | General | Implementation | Semantics | Theory | Type Theory | other blogs | 8283 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 4 days ago
3 weeks 5 days ago
13 weeks 18 hours ago
13 weeks 2 days ago
13 weeks 3 days ago
20 weeks 3 days ago
26 weeks 1 day ago
26 weeks 2 days ago
27 weeks 1 day ago
30 weeks 2 hours ago