Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 3 months 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 (almost 2 years ago)
- Last Synced: 2024-07-23T21:09:01.166Z (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.