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