Eiffel (linguagem de programação): diferenças entre revisões

A Classe B concorda com a classe A se e somente se B é um '''descendente''' de A.

 

 

Polimorfismo Universal Paramétrico : Uma função ou uma classe que siga o polimorfismo universal paramétrico tem um parâmetro de tipo (impllicito ou explicito), que determina o tipo de argumento para cada aplicação dessa função /classe.