Alice (programming language)
| Alice | |
|---|---|
| Paradigms | Multi-paradigm: imperative, functional, distributed, concurrent, constraint |
| Family | ML: Standard ML |
| Developer | Saarland University |
| First appeared | June 16, 2000 |
| Stable release | 1.4
/ May 3, 2007 |
| Typing discipline | strong, static, inferred |
| OS | Cross-platform |
| License | MIT |
| Website | www |
| Influenced by | |
| ML, Oz | |
Alice ML is a general-purpose, high-level, multi-paradigm, functional programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming.