mLite [em·ell·ite] —
a lightweight (and slightly odd) inhabitant of the ML universe.
Manual (ps, pdf) | Download | Apology | Changes | Guards paper (ps, pdf)
Much like ML, but with dynamic typing, guards, and a Haskell-style apply operator. Here are some examples:
;; create lists of numbers fun iota (a, b) where (a = b) = [a] | (a, b) = a :: iota (a + 1, b) | a = iota (1, a)
(* extract elements from lists *) fun extract (f, ) =  | (f, f x :: xs) = x :: extract (f, xs) | (f, x :: xs) = extract (f, xs)
Of course, the full power of ML functions is available. We could
define a curried version of
fun filter f a = extract (f, a)
and then do:
val f = filter (fn x = x mod 7 = 0); f ` iota 100
[7, 14, 21, 28, 35, 42, 49, 56, 63, 70, 77, 84, 91, 98]
Cool, isn't it?