Concurrent ML
| Concurrent ML | |
|---|---|
| Paradigms | Multi-paradigm: functional, imperative, modular, concurrent |
| Family | ML: Standard ML |
| First appeared | 1991 |
| Website | cml |
| Major implementations | |
| SML/NJ, MLton, Manticore | |
| Influenced by | |
| ML, Standard ML | |
Concurrent ML (CML) is a multi-paradigm, general-purpose, high-level, functional programming language. It is a dialect of the programming language ML which is a concurrent extension of the Standard ML language, characterized by its ability to allow creating composable communication abstractions that are first-class rather than built into the language. The design of CML and its primitive operations have been adopted in several other programming languages, such as GNU Guile, Racket, and Manticore.