Alice is now available in version 1.1 - including a Mac OS X port. Unfortunately only via the Unix path, so with X11 interface and without the native code Just-in-Time compiler, but at least you can play with the language on the Mac. As a reminder: Alice is an ML dialect with a strong focus on good support for parallelism.