Alice (programming language)
From Wikipedia, the free encyclopedia
For the educational object-oriented programming system from Carnegie Mellon University, see Alice (software).
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.[2] 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.
This article needs additional citations for verification. (February 2011) |
Quick Facts Paradigms, Family ...
Paradigms | Multi-paradigm: imperative, functional, distributed, concurrent, constraint |
---|---|
Family | ML: Standard ML |
Developer | Saarland University |
First appeared | June 16, 2000; 23 years ago (2000-06-16) |
Stable release | 1.4
/ May 3, 2007; 17 years ago (2007-05-03) |
Typing discipline | strong, static, inferred |
OS | Cross-platform |
License | MIT |
Website | www |
Influenced by | |
ML, Oz |
Close