Eiffel soporta formalmente los tipos abstractos de datos.