Eiffel (linguaggio)

Da Wikipedia, l'enciclopedia libera.
Eiffel
Autore Bertrand Meyer e Eiffel Software
Data di origine 1986
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

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 forte tipizzazione statica, e una gestione automatica e affidabile della memoria (tipicamente implementata tramite garbage collection).

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++). Gode di un'ottima reputazione fra i suoi utenti e, 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:

Programma di esempio[modifica | modifica wikitesto]

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

Collegamenti esterni[modifica | modifica wikitesto]

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