Interesting New Language: ATS

ATS is quite interesting:

http://shootout.alioth.debian.org/u32/ats.php

It is safe, efficient and can be used to prove correctness. Which is impressive.

As another note, GNAT and FreePascal have GTK bindings to allow programmers write nice GUI apps.