Eiffel

Eiffel is an object-oriented language famous for introducing "design by contract": preconditions, postconditions and invariants that the language itself verifies. It emphasizes software correctness and reliability.

• Creado por Bertrand Meyer
• Año 1986
• Paradigma: Object-oriented · compiled
• Extensiones: .e

Para qué se usa

• High-reliability software
• Critical systems
• OO teaching

A favor

• Design by contract
• Very reliable
• Correctness-oriented

En contra

• Niche
• Low adoption
• Small ecosystem

Ecosistema

• EiffelStudio
• EiffelBase
• Gobo

Ejemplo

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