Conversions in an object-oriented language with inheritance

In addition, the language needs a special Balancing Rule to address mixed-type arithmetic. This is because, in the strict 00 world of Eiffel, we view an expression of the form a + b, theoretically at least, as an abbreviation for a . i nf ix-p 1 us (b),where in fix_p 1 us would be a normal, nonoperator function taking an argument. In fact, such a function does existit is called infix +.