Eiffel – statycznie typowany, obiektowy język programowania opisywany w książkach Bertranda Meyera m.in. Object-Oriented Software Construction, Eiffel: The Language.
Charakterystyka języka Główną ideą przyświecającą twórcy języka Eiffel było stworzenie praktycznego narzędzia do tworzenia wysokiej jakości oprogramowania. Cel ten miał być osiągnięty poprzez tworzenie re-używalnego kodu dającego pewność swojej poprawności. Stąd Bertrand Meyer określił następujące cechy języka: modularyzacja poprzez zastosowanie obiektów zgodnie z paradygmatem obiektowym ukrywanie wewnętrznych szczegółów implementacji polimorfizm dziedziczenie wielokrotne generyczność typów argumentów automatyczne zarządzanie pamięcią statyczna typizacja sprawdzane w trakcie wykonania programu warunków – programowanie kontraktowe (ang. design by contract).
Hello World class HELLO_WORLD
creation make
feature make is local do std_output.put_string("Hello, world") std_output.put_new_line end end
Historia Język został zaprojektowany przez firmę Interactive Software Engineering (ISE, obecnie Eiffel Software) w 1985 r. Rok później ISE zaimplementowała kompilator dla Eiffel na platformę UNIX.