https://github.com/aliceml/aliceml

A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
https://github.com/aliceml/aliceml

Last synced: 25 days ago
JSON representation

A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming

• Host: GitHub
• URL: https://github.com/aliceml/aliceml
• Owner: aliceml
• Created: 2014-07-14T11:46:48.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2022-11-25T05:38:47.000Z (about 2 years ago)
• Last Synced: 2024-08-03T21:01:11.827Z (4 months ago)
• Homepage: http://www.ps.uni-saarland.de/alice/
• Size: 9.77 KB
• Stars: 214
• Watchers: 18
• Forks: 17
• Open Issues: 13
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• programming-languages - Alice ML - Functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming. (Functional)

README

        
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

* Higher-order modules: higher-order functors and abstract signatures

* Packages: integrating static with dynamic typing and first class modules

* Pickling: higher-order type-safe, generic & platform-independent persistence

* Components: platform-independence and type-safe dynamic import & export of modules

* Distribution: type-safe cross-platform remote functions and network mobility

* Constraints: solving combinatorical problems using constraint propagation and programmable search 

More about Alice ML is available from the original project page: http://www.ps.uni-saarland.de/alice/

Building on Linux

=================

The following packages were required to build on Ubuntu 19.10:

    $ sudo apt-get install smlnj smlnj-runtime ml-lex ml-lpt ml-yacc     

    $ sudo apt-get install g++ libsqlite3-dev libgtk2.0-dev libgmp-dev \

         gawk libtool libgnomecanvas2-dev gtk2-engines-pixbuf \

         libxml2-dev autoconf texinfo

To build:

    $ git clone git://github.com/aliceml/aliceml

    $ cd aliceml

    $ git submodule init

    $ git submodule update

    $ cd make

    $ make setup

    #...add directory displayed to the PATH...

    $ export PATH=/path/displayed/in/setup:$PATH

    $ make all

The final system will be in the `distro` subdirectory and instructions are printed at the end of `make all` on how to add to the `PATH` and run.

Building on Mac OS X

====================

Support for building on Mac OS X is in the early stages and slightly more manual

than building on Linux due to errors I haven't worked out. Help from Mac OS X

users would be useful.

The following packages were used from [Homebrew](http://brew.sh):

    $ brew install smlnj gmp libgnomecanvas gtk+ gawk

To build:

    $ git clone git://github.com/aliceml/aliceml

    $ cd aliceml/make

    $ export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig:/usr/local/lib/pkgconfig

    $ make setup

    #...add directory displayed to the PATH...

    $ export PATH=/path/displayed/in/setup:$PATH

    $ make all

On my machine the `make all` fails some time in the build when compiling `NativeLibs.cc` with this error:

    distro/bin/seamtool: line 63: echo: write error: Resource temporarily unavailable

The build can be continued with:

    $ PATH=/path/to/aliceml/distro/bin:$PATH make -C ../alice/sources/lib/gtk/seam/

    $ make all

The final system will be in the `distro` subdirectory and instructions are printed at the end of `make all` on how to add to the `PATH` and run.

Original Source

===============

This git repository was created by converting [Gareth Smith's mercurial repositories](https://bitbucket.org/gareth0) to git with minor bitrot fixes. Instructions for building Gareth's original code is from [a post on the Alice ML mailing list](http://www.ps.uni-saarland.de/pipermail/alice-users/2012/001042.html). Note that Gareth's repository contains many changes to the original [Alice ML CVS repository](http://www.ps.uni-saarland.de/alice/download.html) but is the only one I've found buildable on modern Linux systems.

During the `make setup` process the source to [gecode](http://www.gecode.org) will be downloaded.