Eiffel (linguaggio di programmazione)

Eiffel linguaggio di programmazione
Autore	Bertrand Meyer e Eiffel Software
Data di origine	1986
Ultima versione	22.05 (31 maggio 2022)
Utilizzo	generale
Paradigmi	a oggetti
Tipizzazione	statica ed esplicita
Specifiche di linguaggio	Standard ECMA-367
Influenzato da	Ada, Simula, Z
Ha influenzato	Ada 2012, C#, D, Java, Lisaac, Racket, Ruby, Sather, Scala
Implementazione di riferimento
Implementazione	EiffelStudio, LibertyEiffel, SmartEiffel, Visual Eiffel
Modifica dati su Wikidata · Manuale

Eiffel è un linguaggio di programmazione object-oriented che enfatizza la scrittura di programmi robusti. Fu uno dei primi linguaggi a oggetti compilati e pensati per l'utilizzo industriale. La sua sintassi ricorda quella di ALGOL, Pascal e Ada. Eiffel ha una tipizzazione forte statica, e una gestione automatica e affidabile della memoria (tipicamente implementata tramite garbage collection).

Descrizione

Il linguaggio è nato nel 1985 e ha avuto applicazioni nell'industria del software, pur non riuscendo a raggiungere il livello di diffusione di altri linguaggi object-oriented compilati (per esempio C++). In virtù delle sue rinomate proprietà di purezza concettuale (ovvero di aderenza al paradigma object-oriented classico), non raramente veniva usato nelle università a scopo didattico; oggi anche in questo ruolo è stato in molti casi soppiantato da Java.

Si differenzia dalla maggior parte dei linguaggi per avere un'implementazione nativa del design by contract. Altre caratteristiche sono:

• Ereditarietà multipla.
• Sistema di tipi in grado di gestire sia la semantica di valore che la semantica di riferimento.
• Classi generiche, cioè parametrizzate da altre classi.
• Orientamento agli oggetti puro. Per esempio, è possibile creare sottoclassi anche della classe INTEGER.
• Overloading degli operatori (ma non dei metodi).

Programma di esempio

Il seguente esempio è un'implementazione di Hello, world!, il programma che stampa il testo "Hello World".

   class HELLO_WORLD
   create
       make
   feature
       make is
       do
           Io.put_string("Hello World%N")
       end
   end

Altri progetti

• Wikimedia Commons contiene immagini o altri file sull'Eiffel

Collegamenti esterni

• (EN) Iniziativa Open Source di Eiffel Software's, su dev.eiffel.com.
• (EN) Eiffel Software, Inc. web site of the company that introduced Eiffel, was Interactive Software Engineering (ISE).
• (EN) Object Oriented Software Construction, Second Edition, by Bertrand Meyer, Prentice Hall, 1997, ISBN 0-13-629155-4; contains a very detailed treatment of the beliefs about object-orientation behind Eiffel.
• (EN) Eiffel: the Language subset
• (EN) Eiffel tutorial (100 pages) by Bertrand Meyer (HTML, PDF)
• (EN) SmartEiffel Archiviato il 13 aprile 2011 in Internet Archive. fairly complete Eiffel compiler, released under GNU GPL license, was SmallEiffel.
• (EN) NICE Nonprofit International Consortium for Eiffel.
• (DE) more Eiffel-Links, su coderlinks.de.
• (EN) Cetus Eiffel Page, su cetus-links.org. URL consultato il 30 giugno 2004 (archiviato dall'url originale il 4 giugno 2004).

Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica