Eiffel (programovací jazyk)
Eiffel je v informatice název pro objektově orientovaný programovací jazyk standardizovaný podle mezinárodní normy ISO. Je navržen s ohledem na rozšiřitelnost, znovupoužitelnost a spolehlivost kódu tak, aby byl co nejvíce efektivní při programování. Programovací jazyk má široké spektrum využití. V akademickém prostředí je používán pro výuku principů programování a v průmyslu jako vývojová platforma. Dále je používán v kosmonautice, finančnictví, počítačových hrách a v dalších odvětvích. Eiffel byl původně navržen společností Eiffel Software, která se zpočátku jmenovala Interactive Software Engineering a byla založena Bertrandem Meyerem. Od roku 1986, kdy se tento programovací jazyk používá, mnoho společností vytvořilo pro Eiffel vývojová prostředí.
 | |
| Vznik | 1986[1] |
|---|---|
| Vývojář | Eiffel Software |
| Web | eiffel.org |
| Přípona souboru | .e |
Návrh jazyka úzce souvisí s metodou programování Eiffel. Mnohé postupy použité v Eiffel našly své uplatnění v jazycích Java, C# a dalších. Nové nápady jsou dále začleňovány do jazyka a to hlavně prostřednictvím normalizace ECMA/ISO.
Charakteristika
editovatMezi klíčové vlastnosti jazyka Eiffel patří:
- automatická správa paměti, obvykle prováděná pomocí garbage collectoru
- dědičnost včetně vícenásobné dědičnosti a dalších vlastností zavedených za účelem bezpečnější dědičnosti
- objektově orientovaná struktura programu, kde základní jednotky tvoří třídy
- design podle smlouvy je úzce spojen s ostatními jazykovými konstrukcemi
- vázané a nenucené generické programování
- jednotný typový systém manipulující hodnotovou i referenční sémantikou, kde jsou všechny typy založeny na principu tříd, a to včetně základních jako například INTEGER
- typová bezpečnost
- syntax klíčových slov je na základě jazyků ALGOL / Pascal, ale oddělovače nejsou povinné
- podpora statického přetypování
- generické programování
- ignorování velikosti písmen
Cíl projektu
editovatEiffel se vyhýbá kódovým trikům nebo kódovacím technikám určeným jako optimalizační tipy pro kompilátor. Cílem není jen to, aby byl kód co nejvíce čitelný, ale také umožňuje programátorům soustředit se na důležité aspekty programu, aniž by zapadl do implementačních detailů. Předpokládá se, že jednoduchost Eiffelu bude podporovat jednoduché, rozšiřitelné, znovu použitelné a spolehlivé odpovědi na výpočetní problémy. Překladače pro počítačové programy napsané v Eiffel poskytují rozsáhlé optimalizační techniky.
Předpoklady
editovatEiffel byl původně vyvinut Eiffel Software, společnost s původním názvem Software Engineering Inc. (ISE) založil Bertrand Meyer. Kniha Object-Oriented Software Construction obsahuje detailní zpracování koncepcí a teorií objektových technologií, které vedly k návrhu jazyka Eiffel. Cílem návrhu jazyka, knihoven a programovacích metod je umožnit programátorům tvořit spolehlivé, znovu použitelné softwarové moduly. Eiffel podporuje vícenásobnou dědičnost, genericitu, polymorfismus, zapouzdření a typově bezpečnou konverzi. Jeho největším přínosem k softwarovému inženýrství je návrh podle smlouvy. Návrh jazyka je založen na teorii objektově orientovaného programování, s malým vlivem jiných zdrojů nebo zájmu o podporu starších kódů. Eiffel formálně podporuje abstraktní datové typy.
Implementace a prostředí
editovatEiffelStudio je integrované vývojové prostředí, které je k dispozici buď jako open source nebo s komerční licencí. Nabízí objektově orientované prostředí pro softwarové inženýrství. EiffelEnvision je plug-in pro Microsoft Visual Studio, který umožňuje uživatelům editovat, kompilovat a ladit Eiffel projekty v rámci Microsoft Visual Studio IDE. EiffelStudio a EiffelEnvision jsou zdarma pro nekomerční využití. Jsou k dispozici další čtyři open source implementace: tecomp[2], Gobo Eiffel[3], Liberty Eiffel[4] (nástupce ukončeného projektu SmartEiffel, pův. SmallEiffel[5]) a Visual Eiffel.
Několik dalších programovacích jazyků obsahuje prvky, které byly poprvé použity v jazyce Eiffel. Například Sather byl původně založen na Eiffelu, ale nyní se jejich cesty rozcházejí a Sather dokonce obsahuje několik funkcí funkcionálního programování. Eiffel je také základem interaktivního vyučovacího jazyka Blue, předchůdce BlueJ. Apple Media Tool obsahuje Apple Media Language, který je založený na jazyku Eiffel.
Specifikace a normy
editovatJazyk Eiffel je standardizovaný podle mezinárodní normy ISO. Norma byla vytvořena společností Ecma International, která jako první schválila standard 21. června 2005 jako ECMA 367, Eiffel: analýza, návrh a implementační jazyk. V červnu 2006 ECMA a ISO přijala druhou verzi. V listopadu 2006 poprvé ISO publikovalo tuto verzi. Normy je možné nalézt a používat zdarma na stránkách ECMA. Verze ISO je ve všech ohledech stejná, kromě formátování.
Gobo Eiffel a tecomp se zavázaly k dodržování standardu. SmartEiffel se ovšem od standardu odvrátil a vytvořil vlastní verzi, která je podle něj blíže k původnímu stylu jazyka Eiffel.
Předchůdci specifikace jazyka:
- Bertrand Meyer: Eiffel: The Language, Prentice Hall, druhé vydání, 1992 (první vydání: 1991)
- Bertrand Meyer: Standard Eiffel, 1997- přítomnost
- Bertrand Meyer: Object-Oriented Software Construction, Prentice Hall: první vydání 1988, druhé vydání 1997
Současná verze této normy od června 2006 obsahuje některé nesrovnalosti, ale výbor ECMA zatím neoznámil, kdy a jak chce tyto nesrovnalosti řešit.
Ukázka programu
editovat„Hello, world!“
editovatProgram „Hello world“ může vypadat v programovacím jazyce Eiffel takto:
class
HELLO_WORLD
create
make
feature
make
do
print ("Hello, world!%N")
end
end
Reference
editovatV tomto článku byly použity překlady textů z článků Eiffel (programovací jazyk) na slovenské Wikipedii a Eiffel (programovací jazyk) na anglické Wikipedii.
- ↑ Eiffel in a nutshell [online]. Eiffel Software [cit. 2018-05-25]. Dostupné online. (anglicky)
- ↑ tecomp: The Eiffel Compiler. SourceForge [online]. 2015-06-17 [cit. 2024-02-06]. Dostupné online. (anglicky)
- ↑ Gobo Eiffel Compiler. www.gobosoft.com [online]. [cit. 2024-02-06]. Dostupné online.
- ↑ Liberty Eiffel Compiler. www.liberty-eiffel.org [online]. [cit. 2024-02-06]. Dostupné online.
- ↑ Introduction - Liberty Eiffel Wiki. wiki.liberty-eiffel.org [online]. [cit. 2024-02-06]. Dostupné online.
Externí odkazy
editovat
Obrázky, zvuky či videa k tématu Eiffel na Wikimedia Commons - Basic Eiffel Language Mechanisms, Bertrand Meyer, August 2006.
- Eiffel Software's Open Source initiative
- Eiffel Software web site of the company that introduced Eiffel, was Interactive Software Engineering (ISE).
- Eiffel tutorial (100 pages) by Bertrand Meyer (HTML, PDF)
- Eiffel standard, revision 2 (2006); this is the ECMA standard, with free access, its text identical to that of the ISO standard.
- SmartEiffel Archivováno 13. 4. 2011 na Wayback Machine. fairly complete Eiffel compiler, released under GNU GPL license, was SmallEiffel, not ECMA standard compliant.
- "The Eiffel Compiler" (tecomp) an open source Eiffel compiler with documentation.
- Visual Eiffel an open source implementation of Eiffel creating native code for X86 systems (Windows, Linux)
- NICE Nonprofit International Consortium for Eiffel.
- eiffelroom.com Community around standard Eiffel
- eiffelzone.com Includes a comprehensive Eiffel Software Directory
- Cetus Eiffel Page
- Eiffel for .Net
- Eiffel: the Language subset
- Eiffel: An Overview - prezentace jazyka, vývojového prostředí a pojetí vývoje softwaru, které leží v jejich základech (2012)
