Moscow ML
E807597
Moscow ML is a lightweight, educationally oriented implementation of the Standard ML programming language, known for its simplicity and support for formal methods and teaching.
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
ML-family programming language implementation
ⓘ
Standard ML implementation ⓘ |
| designGoal |
educational use
ⓘ
lightweight implementation ⓘ support for formal methods education ⓘ support for teaching programming languages ⓘ |
| hasComponent |
compiler
ⓘ
interactive interpreter ⓘ runtime system ⓘ standard library (subset of SML Basis) ⓘ |
| implementationStyle |
bytecode compiler
ⓘ
interactive toplevel (REPL) ⓘ |
| influencedBy | Standard ML language definition ⓘ |
| knownFor |
fast compilation
ⓘ
good support for teaching ⓘ simplicity ⓘ small implementation ⓘ |
| license | open-source license ⓘ |
| operatingSystem |
Linux
ⓘ
Unix-like systems ⓘ Windows ⓘ macOS (via Unix ports) ⓘ |
| paradigm |
functional programming
ⓘ
imperative programming (via references and arrays) ⓘ |
| programmingLanguage | Standard ML NERFINISHED ⓘ |
| supportsFeature |
exceptions
ⓘ
foreign function interface (C FFI) ⓘ functors ⓘ garbage collection ⓘ higher-order functions ⓘ interactive top-level loop ⓘ modules ⓘ pattern matching ⓘ polymorphism ⓘ separate compilation ⓘ |
| supportsLanguageStandard |
Standard ML (SML) core language
NERFINISHED
ⓘ
Standard ML Basis Library (subset) NERFINISHED ⓘ Standard ML Modules NERFINISHED ⓘ |
| targetAudience |
researchers in programming languages
ⓘ
students ⓘ teachers ⓘ |
| typeSystem |
Hindley–Milner type inference
NERFINISHED
ⓘ
static typing ⓘ |
| useCase |
formal methods education
ⓘ
small-scale research prototypes ⓘ teaching Standard ML ⓘ teaching programming language concepts ⓘ teaching type systems ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.