Through the Looking Glass
Alice is a functional programming language based on Standard ML (see MlLanguage), extended with support for concurrent, distributed, and constraint programming. It is based on the same virtual machine as OzLanguage, so the two languages are interoperable.
Features
Alice 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
Links