V eiffelu lahko brez težav dedujemo temeljni podatkovni tip, npr. INTEGER, in na njegovih temeljih izdelamo nov podatkovni tip.
Po vzoru pascala je eiffel strogo tipiziran jezik in omogoča tipsko varno rabo razredov skozi generično programiranje; ta zmožnost je pri javi in C# šele v povojih. Presenečenje je podpora večkratnemu dedovanju (multiple inheritance), tehnika predmetnega programiranja, ki je bila razglašena za problematično in je npr. java ne podpira.