Eiffel (programmeringsspråk)

Eiffel er et objektorientert programmeringsspråk som ble konstruert av Bertrand Meyer og Eiffel Software. Meyer utviklet språket i 1985, med det formål å øke påliteligheten til kommersiell programvare-utvikling^[1]. Første versjon ble tilgjengelig i 1986 og ble introdusert på den første OOPSLA-konferansen i oktober samme år^[1]. I 2005 ble Eiffel et programmeringsspråk som var beskrevet av en ISO-standard^[2].

Eiffel
Tilblivelse		1986
Paradigme		Multi-paradigme: Objektorientert programmering, klassebasert programmering, generisk programmering, samtidig programmering
Designet og utviklet av		Bertrand Meyer
Siste versjon(er)		24.05 / 14. jun. 2024
Typetildeling		statisk
Påvirket av
Ada, Simula, Z notation, Simula 67

Eiffel er kjent for sitt fokus på programvarekvalitet og pålitelighet, med særlig vekt på konseptet "Design by Contract" (DbC)^[3]. Språket støtter objektorientert, generisk og samtidig programmering, og kommer med et integrert utviklingsmiljø kalt EiffelStudio^[1].

Den offisielle ISO-standarden for Eiffel (ISO/IEC 25436:2006) ble publisert i 2006 og gir en fullstendig referanse for språket^[4].