alice
manual.
features
________ Overview ____________________________________________________
Alice is a functional programming language based on
Standard ML,
extended with support for concurrent, distributed,
and constraint programming. The Alice language
extends Standard ML with several new features:
- Laziness:
combining strict and transparent lazy functional programming
- Futures:
"logic variables" and concurrency
- Higher-order modules:
a more powerful module language
- Components:
platform-independence and type-safe dynamic loading of modules
- Packages:
integrating static with dynamic typing and first class modules
- Pickling:
higher-order and platform-independent, type-safe persistence
- Constraints:
solving combinatorical problems using constraints and programmable
search
The Alice system is a powerful programming system
featuring the following tools:
Alice builds on our experience with developing the
Mozart system.
The current version of Alice is based on the Mozart virtual machine.
Alice programs can therefore interoperate with Oz.
last modified 2004/04/13 11:29