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 | 8020 reads
|
Browse archivesActive forum topics |
Recent comments
4 days 3 hours ago
2 weeks 2 hours ago
3 weeks 4 hours ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
4 weeks 6 days ago
5 weeks 9 hours ago
5 weeks 1 day ago
5 weeks 1 day ago