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
DigiZone.cz: Konec geoblokace? Ani náhodou…

Konec geoblokace? Ani náhodou…

120na80.cz: Co lidi tropí se sádrou

Co lidi tropí se sádrou

Podnikatel.cz: Heureka pod Rockaway? Tohle musí splnit

Heureka pod Rockaway? Tohle musí splnit

Lupa.cz: Kam si doma dáte internet věcí? Na polici?

Kam si doma dáte internet věcí? Na polici?

120na80.cz: Tady se vaří padělané léky

Tady se vaří padělané léky

DigiZone.cz: Šlágr TV dostala pokutu 100 000 Kč

Šlágr TV dostala pokutu 100 000 Kč

Vitalia.cz: Muži kouří 24 cigaret denně, ženy o dost míň

Muži kouří 24 cigaret denně, ženy o dost míň

Podnikatel.cz: Alza radí e-shopům, jak opustit Heureku

Alza radí e-shopům, jak opustit Heureku

Vitalia.cz: Taky ji kupujete? Je šizená

Taky ji kupujete? Je šizená

DigiZone.cz: Šlágr TV: pokuta 100 tisíc za on-line

Šlágr TV: pokuta 100 tisíc za on-line

Vitalia.cz: Ministerstvo: tyto příbory jsou nebezpečné

Ministerstvo: tyto příbory jsou nebezpečné

120na80.cz: Zjistěte, zda je vaše klíště infikované

Zjistěte, zda je vaše klíště infikované

Lupa.cz: Přenos hokeje padal kvůli útoku, tvrdí O2

Přenos hokeje padal kvůli útoku, tvrdí O2

DigiZone.cz: UPC umí televizi sedm dní nazpět

UPC umí televizi sedm dní nazpět

Vitalia.cz: Syndrom počítačového vidění: stačí dvě hodiny denně

Syndrom počítačového vidění: stačí dvě hodiny denně

120na80.cz: 5 triků, jak zastavit krvácení po holení

5 triků, jak zastavit krvácení po holení

Vitalia.cz: 7 nemocí očí, které musíte léčit včas

7 nemocí očí, které musíte léčit včas

Vitalia.cz: SÚKL: vakcíny jsou bezpečné a s autismem nesouvisí

SÚKL: vakcíny jsou bezpečné a s autismem nesouvisí

DigiZone.cz: Změní se veřejnoprávní status ČT?

Změní se veřejnoprávní status ČT?

DigiZone.cz: Konec geoblokace online médií?

Konec geoblokace online médií?