Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony| Eiffel | |
| Pojawienie się | 1986 |
| Paradygmat | obiektowy |
| Typowanie | statyczne, silne |
| Twórca | Bertrand Meyer |
Eiffel to statycznie typizowany, obiektowy język programowania opisywany w książkach Bertranda Meyera m.in. Object-Oriented Software Construction, Eiffel: The Language.
Spis treści |
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:
W konsekwencji w Eiffel jest ścisłe rozróżnienie metod funkcyjnych i proceduralnych. Pierwsze z wymienionych nie mogę modyfikować stanu obiektu a zwracane przez nie wartości nie mogą być ignorowane. Drugie natomiast, mogą modyfikować stan lecz nie mogą go ujawniać.
class HELLO_WORLD creation make feature make is local do std_output.put_string("Hello, world") std_output.put_new_line end end
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.
W 1989 specyfikacja języka stała się publicznie dostępna[2]. Powstała wówczas organizacja Nonprofit International Consortium for Eiffel (NICE). Zajmująca się popularyzacją języka a także jego standaryzacją. W 1992 NICE przyjęła drugie wydanie książki Eiffel The Language Bertranda Meyera jako pierwszy standard. Następnie publikowała uaktualnienia w roku 1996, 2000, 2001, 2002[3].
Od 1999 roku ISA współpracowała z Microsoft co zaowocowało utworzeniem środowiska na platformę .NET w 2001 r[4].
W 2002 roku ECMA utworzyła grupę zajmującą się opracowaniem standardu języka Eiffel. Pierwsza wersja została opublikowana w 2005. W kolejnym - wyszło uaktualnienie standardu[2]. W tym samym roku został opublikowany standard ISO (ISO/IEC 25436:2006)[5].
W 2007 roku Association for Computing Machinery przyznało Bertrandowi Meyerowi ACM Software System Award za zaprojektowanie i implementację języka Eiffel, programowanie kontraktowe i działalność która przyczyniła się do tworzenia godnego zaufania, re-używalnego, efektywnego oprogramowania[6].
Przedsiębiorstwo Eiffel Software oferuje IDE Eiffel Studio na licencji komercyjnej albo GPL. Środowisko jest dostępne dla różnych systemów operacyjnych: MS Windows, Linux, FreeBSD, OpenBSD, Solaris.
SmartEiffel (poprzednio SmallEiffel) to IDE tworzone przez zespół prof. Dominique Colnet w centrum naukowym LORIA we Francji[7]. Środowisko oprócz klasycznej kompilacji, oferuje możliwość wygenerowania kodu wykonywalnego dla maszyny wirtualnej Java. Nie jest zgodne ze standardem ISO/ECMA [8].
Visual Eiffel jest środowiskiem udostępnianym na licencji GPL na platformy Windows i Linux.
|
||||||||||||||||||||||||||||||||||||||||||||||||||
