A dialect of Standard ML, this visual programming language uses 3D objects and point-and-click logic to teach basic programming concepts to new students and kids. 

Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming.