4apr2009 - Geoffrey Irving
Duck is (will be) a functional, semi-typed, JIT-compiled language designed around heavy use of overloading.