Eiffel

Eiffel es un lenguaje orientado a objetos famoso por introducir el "diseño por contrato": precondiciones, postcondiciones e invariantes que el propio lenguaje verifica. Pone el énfasis en la corrección y la fiabilidad del software.

• Creado por Bertrand Meyer
• Año 1986
• Paradigma: Orientado a objetos · compilado
• Extensiones: .e

Para qué se usa

• Software de alta fiabilidad
• Sistemas críticos
• Enseñanza de OO

A favor

• Diseño por contrato
• Muy fiable
• Orientado a la corrección

En contra

• Nicho
• Poca adopción
• Ecosistema reducido

Ecosistema

• EiffelStudio
• EiffelBase
• Gobo

Ejemplo

class HELLO
create make
feature
  make do print("¡Hola, mundo!%N") end
end