Sweet!
Declarative Languages seem to me as the future of computing languages. Somethings in Prolog for example, they are as simple as defining what you want. Optimizing is a hell, but i would like to see the a language which separated logic from control. So control (types/better algorithm) would be a 2nd phase in contructing the program, as these dont depend on the underlying logic anyways....