WikiDer > Eiffel (Programmiersprache)

Eiffel (programmeertaal)
Eiffel
ParadigmaObjektorientierten
erschien1985
Entworfen vonBertrand Meyer
Entwickelt vonBertrand Meyer und Eiffel-Software
Typensystemstatisch, stark
ImplementierungenEiffelStudio, Visueller Eiffel, und andere
Beeinflusst vonAda, Simula 67, z
Einfluss aufC#, d, Java, Rubin, sather, Reichweite
WebseiteEcma 367
Portal  Portalsymbol  Informatik

Eiffel ist ein reines objektorientiertenProgrammiersprache, ab 1985 von Bertrand Meyer entwickelt bei der Firma Interactive Software Engineering (heute Eiffel Software aus Santa Barbara, Kalifornien) und von Gustave Eiffel benannt (unter anderem der Architekt des Pariser Eiffelturm).

Eiffel ist eine sogenannte rein objektorientierte Programmiersprache. Das bedeutet, dass alle bekannten Konzepte der Objektorientierung (wie Information Hiding, Polymorphism und Dynamic Binding) auf Eiffel zutreffen. Obwohl sich die Sprache in der Branche nie wirklich durchgesetzt hat, ist sie zu einer beliebten Sprache für Bildungszwecke geworden. Es unterstützt generische Datentypen (alles Klassentypen), ist streng statisch typisiert und hat eine unbegrenzte Mehrfachvererbung.

Ein hohes Maß an Portabilität wird durch den Import von Quellcode von Eiffel erreicht C generieren. C kann auf vielen Plattformen neu kompiliert werden. Darüber hinaus verwendet Eiffel eine begrenzte Anzahl verständlicher Keywords (wie wir auch von algol und Pascal). Dies ermöglicht die Entwicklung kompakter, übersichtlicher Quelltexte. Dies wird jedoch von einigen Softwareentwicklern als limitierender Faktor (Bevormundung) angesehen. Mit der Möglichkeit, die semantischen Eigenschaften eines Datentyps in derselben Notation anzugeben, die später zum Aufzeichnen oder Ändern der Eigenschaften von Operationen verwendet wird, und später die Implementierungsdetails, besteht eine konsistente Beziehung zwischen Spezifikation, Design und Realisierung. Mechanismen wie automatische Speicherverwaltung (implementiert über Müllabfuhr), die Integration von Assertion-Handling und Design nach Vertrag (DbC), weisen darauf hin, dass der Schwerpunkt bei der Entwicklung von Eiffel auf Robustheit lag.

Am 21. Juni 2005 wurde der erste internationale Standard für Eiffel genehmigt: ECMA-Standard 367, Eiffel Analyse-, Design- und Implementierungssprache. Dieser Standard wurde jedoch von der gesamten Eiffel-Gemeinde nicht mit offenen Armen aufgenommen, da ihrer Meinung nach einige Grundprinzipien der Originalsprache beiseite geschoben wurden. Dies führte zu einer Spaltung: SmartEiffel.

Beispiel

Unten ist ein Beispiel für Eiffel-Quellcode (der Klassiker Hallo Welt):

KlasseHALLO WELTerstellenmachenFeaturemachentunio.putstring("Hallo Welt!%N")EndeEnde

Siehe auch