Skip to content
◈ALB Atlas

Eiffel Maintenance

Eiffel
KindProgramming language
Appeared1986
StatusMaintenance
CreatorBertrand Meyer / Eiffel Software
FamilyIndependent
Sourcewww.eiffel.com ↗

Meyer's contract-first language — Design by Contract as grammar, not convention; EiffelStudio still ships it.

Influenced by Simula Ada
Created by Bertrand Meyer
Influenced Java Ruby Scala

Bertrand Meyer's Eiffel (1985) — Design by Contract as language: preconditions, postconditions, and invariants as executable specifications, multiple inheritance done deliberately.\n\nIt influenced contract design everywhere (SPARK, Spec#, Java's assert); EiffelStudio is still developed.

Sources

  1. eiffel.com/
  2. en.wikipedia.org/wiki/Eiffel_(programming_language)