„`html
Eiffel – Język Programowania
Eiffel to statycznie typowany, obiektowy język programowania, stworzony przez Bertranda Meyera, który opisał go w swoich książkach, takich jak Object-Oriented Software Construction oraz Eiffel: The Language.
Charakterystyka Języka
Głównym celem Bertranda Meyera było stworzenie narzędzia do wysokiej jakości programowania, skupiającego się na re-używalności i poprawności kodu. Kluczowe cechy języka Eiffel to:
- Modularyzacja obiektów
- Ukrywanie wewnętrznych szczegółów implementacji
- Polimorfizm
- Wielokrotne dziedziczenie
- Generyczność typów argumentów
- Automatyczne zarządzanie pamięcią
- Statyczna typizacja
- Programowanie kontraktowe (design by contract)
Przykład Programu
class HELLO_WORLD
creation make
feature
make is
local
do
std_output.put_string("Hello, world")
std_output.put_new_line
end
end
Historia
Eiffel został zaprojektowany przez firmę Interactive Software Engineering w 1985 roku. Rok później powstał pierwszy kompilator dla systemu UNIX. W 1989 roku specyfikacja języka stała się publiczna, a w 1992 przyjęto książkę Eiffel The Language jako pierwszy standard. Współpraca z Microsoftem w 1999 roku doprowadziła do implementacji Eiffel w środowisku .NET. W 2005 roku ECMA opublikowała pierwszy standard języka.
W 2007 roku Bertrand Meyer otrzymał nagrodę ACM Software System Award za wkład w rozwój Eiffel i programowania kontraktowego.
Środowiska Programistyczne
Eiffel Software oferuje IDE Eiffel Studio, dostępne na licencji komercyjnej oraz GPL dla różnych systemów operacyjnych. Inne środowiska to:
- SmartEiffel – IDE z możliwością generowania kodu dla maszyny wirtualnej Java, lecz niezgodne z ISO/ECMA.
- Visual Eiffel – IDE dostępne na licencji GPL dla systemów Windows i Linux.
Linki Zewnętrzne
„`
