Alice

Saarland University

Informatics

Programming Systems





Home

People

Papers



Manual

Download

Contributions

Contact



Wiki

Bugs







Overview

Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming. Alice ML extends Standard ML with several new features:

Futures : laziness and light-weight concurrency with implicit data-flow synchronisation

: laziness and light-weight concurrency with implicit data-flow synchronisation Higher-order modules : higher-order functors and abstract signatures

: higher-order functors and abstract signatures Packages : integrating static with dynamic typing and first class modules

: integrating static with dynamic typing and first class modules Pickling : higher-order type-safe, generic & platform-independent persistence

: higher-order type-safe, generic & platform-independent persistence Components : platform-independence and type-safe dynamic import & export of modules

: platform-independence and type-safe dynamic import & export of modules Distribution : type-safe cross-platform remote functions and network mobility

: type-safe cross-platform remote functions and network mobility Constraints: solving combinatorical problems using constraint propagation and programmable search

The Alice System is a rich open-source programming system featuring the following tools:

Virtual machine : a portable VM with support for just-in-time compilation

: a portable VM with support for just-in-time compilation Interactive system : an interpreter-like interactive toplevel with easy graphical interface

: an interpreter-like interactive toplevel with easy graphical interface Batch compiler : separate compilation

: separate compilation Static linker : type-safe bundling of components

: type-safe bundling of components Inspector : a tool for interactively inspecting data structures

: a tool for interactively inspecting data structures Explorer : a tool for interactively investigating search problems

: a tool for interactively investigating search problems Gtk+ : a binding for the Gnome toolkit GUI library

: a binding for the Gnome toolkit GUI library SQL : a library for accessing SQL databases

: a library for accessing SQL databases XML: a simple library for parsing XML documents

Tutorial

Be our guest on the Short Tour to Alice!

News

Stockhausen, Thu Jul 31 11:51:03 2014