Seriál Mercury

Existují programovací jazyky, kde platí: co je kompilovatelné, to nemůže havarovat. Debugger jsem nepoužil už dva roky. Takový zázrak můžete prožít, jen pokud vaše programátorské kroky prověří pečlivý instalatér. Žádná roura ve vašem programu nesmí vycházet odnikud (tj. SEGFAULT) a žádná nesmí téct (tj. memory leak). Jazyk Mercury, který se vám v krátké sérii článků pokusím představit, má i další přednosti.

Mercury: Typové třídy

Závěrečný díl krátkého představení jazyka Mercury přináší úvodní vysvětlení k typovým třídám. Typové třídy poslouží při definici a implementaci datové struktury nad čímkoli, co však splňuje určité předpoklady.

Ondřej Bojar

8. 4. 2004 0:00
| 3

Mercury: Složitější abstrakce nad algoritmy

Minulý díl seriálu představil velmi jednoduché typy abstrakce nad algoritmy. Konkrétně jsme představili pouze abstrakci for-cyklu dvou typů. Dnes si ukážeme, jak je možné a pohodlné provádět i abstrakce složitější.

Ondřej Bojar

25. 3. 2004 0:00
| 2

Mercury: Abstrakce nad algoritmy

Minulý díl opěvující typovou čistotu Mercury nevyvolal vůbec žádnou diskusi. Asi se tak stalo proto, že typový systém Mercury nemá chybu. Stejný němý úžas bych tedy uvítal i dnes, kdy si povíme něco o programování vyššího řádu a o funkcionálním programování (předávání funkcí jako parametr, vyrábění funkcí na počkání). Mj. dnes uvidíte, jak udělat for cyklus bez for cyklu, a dozvíte se, že dokonce Perl má z funkcionálního programování také kousek.

Ondřej Bojar

11. 3. 2004 0:00

Mercury: Typová čistota

Druhý díl stručného úvodu do jazyka Mercury představí systém modulů a typový polymorfismus. Typový polymorfismus prakticky vzato dělá totéž, o co se pokoušejí šablony v C++ nebo obecné typy (generic types), žhavý to výkřik Javy. Na rozdíl od objektově orientovaných programovacích jazyků není typový systém Mercury komplikován objekty a podstata abstraktních typů zřetelněji vynikne. Chcete-li zvládnout javovské generické typy, možná vám pomůže i tento článek z jiného světa.

Ondřej Bojar

4. 3. 2004 0:00
| 1

Mercury: Programování s pomocí instalatéra

Existují programovací jazyky, kde platí: co je kompilovatelné, to nemůže havarovat. Debugger jsem nepoužil už dva roky. Takový zázrak můžete prožít, jen pokud vaše programátorské kroky prověří pečlivý instalatér. Žádná roura ve vašem programu nesmí vycházet odnikud (tj. SEGFAULT) a žádná nesmí téct (tj. memory leak). Jazyk Mercury, který se vám v krátké sérii článků pokusím představit, má i další přednosti.

Ondřej Bojar

26. 2. 2004 0:00
120na80.cz: 10 nejžádanějších bylinných čajů

10 nejžádanějších bylinných čajů

120na80.cz: Čím namazat zmožené nohy?

Čím namazat zmožené nohy?

Vitalia.cz: Nové značení masa. Chytáky zůstanou

Nové značení masa. Chytáky zůstanou

Podnikatel.cz: Výběrové řízení pro jádro EET, startuje v květnu

Výběrové řízení pro jádro EET, startuje v květnu

Podnikatel.cz: Minuty načítající se eshop. To ji naštvalo

Minuty načítající se eshop. To ji naštvalo

Podnikatel.cz: Firmu lze trestat za účast na sebevraždě

Firmu lze trestat za účast na sebevraždě

Lupa.cz: V Brně vyvinuli rychlý internet do letadel

V Brně vyvinuli rychlý internet do letadel

Podnikatel.cz: Poděs, Slibotechna a další. Ty berte obloukem

Poděs, Slibotechna a další. Ty berte obloukem

Vitalia.cz: Jak se žije na kozí farmě

Jak se žije na kozí farmě

Vitalia.cz: Proč jsou po vyřazení lepku zdravější?

Proč jsou po vyřazení lepku zdravější?

Lupa.cz: Online budoucnost je v neviditelných platbách

Online budoucnost je v neviditelných platbách

Lupa.cz: Jaký je Průvodce světem Arduina?

Jaký je Průvodce světem Arduina?

Vitalia.cz: Ani za nic! Zdravá jídla, která poradci nesnědí

Ani za nic! Zdravá jídla, která poradci nesnědí

120na80.cz: Akce na podporu lidí s hemofilií

Akce na podporu lidí s hemofilií

Vitalia.cz: Tyhle dorty se prostě nepovedly

Tyhle dorty se prostě nepovedly

Podnikatel.cz: Nepřišlo vaše hlášení k DPH? Beřnák po vás jde

Nepřišlo vaše hlášení k DPH? Beřnák po vás jde

Lupa.cz: Jak na internetu sehnat poctivého řemeslníka?

Jak na internetu sehnat poctivého řemeslníka?

Podnikatel.cz: Prodá jen 15 obědů denně. Co dělá špatně?

Prodá jen 15 obědů denně. Co dělá špatně?

Lupa.cz: Stát chce vytěsnit malé firmy z trhu

Stát chce vytěsnit malé firmy z trhu

Vitalia.cz: Nový festival Street Food Rocks: jídlo i hudba!

Nový festival Street Food Rocks: jídlo i hudba!

Ušetřete