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 | 8801 reads
|
Browse archives
Active forum topics |
Recent comments
10 weeks 4 days ago
10 weeks 5 days ago
10 weeks 5 days ago
32 weeks 6 days ago
37 weeks 1 day ago
38 weeks 5 days ago
38 weeks 5 days ago
41 weeks 3 days ago
46 weeks 15 hours ago
46 weeks 16 hours ago