language An object-oriented language produced by BertrandMeyer in 1985. Eiffel has classes with multipleinheritance and repeated inheritance, deferred classes

(like Smalltalk's abstract class), and clusters of

classes. Objects can have both static types and dynamictypes. The dynamic type must be a descendant of the static

(declared) type. Dynamic binding resolves multipleinheritance clashes. It has flattened forms of classes, in

which all of the inherited features are added at the same

level and generic classes parametrised by type.