EiffelEiffel is a programming language created by Bertrand Meyer to be object-oriented; it introduced the now semi-popular idea of "Design By Contract", where the semantics of a method are declared to fulfill certain constraints if certain constraints are met by the method caller.
Unfortunately, Eiffel's object system is class-based, single-dispatch only. The contracts are not as expressive as one might hope, and are checked at runtime only (this may be fixable). Overall, the language just isn't impressive. What it has it does well (for the most part) but it lacks a lot. -- seaslug