It's a very pretty language. It's Pascal if Pascal were made perfect. Because it seems amenable to Hindley-Milner Type Inference, if it had that, it would be perfect. Imagine having beginners program in a Pascal-like language without having to worry about typing out types!