And that language (mod unlimited operator overloading, but allowing things like comparison operators to work on comparable objects, and having simplified generics rather than no generics) is... Gosu: http://gosu-lang.org