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 | Programovací jazyky, Vývojářský software
| 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 | Programovací jazyky, Vývojářský software
| 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…

Ondřej Bojar

11. 3. 2004 0:00 | Programovací jazyky, Vývojářský software

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í…

Ondřej Bojar

4. 3. 2004 0:00 | Programovací jazyky, Vývojářský software
| 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. Žá…

Ondřej Bojar

26. 2. 2004 0:00 | Programovací jazyky, Vývojářský software
Podnikatel.cz: Harmonogram k #EET. Kdo to odnese první?

Harmonogram k #EET. Kdo to odnese první?

DigiZone.cz: Kdy bude Netflix na „českých“ televizorech?

Kdy bude Netflix na „českých“ televizorech?

Podnikatel.cz: Proč podnikat, když hází klacky pod nohy

Proč podnikat, když hází klacky pod nohy

Vitalia.cz: Černá ředkev: silné přírodní antibiotikum

Černá ředkev: silné přírodní antibiotikum

Lupa.cz: Wi-Fi o vás ví mnohé. Co umí hotspot v hospodě?

Wi-Fi o vás ví mnohé. Co umí hotspot v hospodě?

Root.cz: Nejžádanější přístroj na Indiegogo je… router?

Nejžádanější přístroj na Indiegogo je… router?

Podnikatel.cz: 3 velké omyly u hlášení k DPH podle Babiše

3 velké omyly u hlášení k DPH podle Babiše

Vitalia.cz: Jak dopadly kontroly potravin zn. KLASA

Jak dopadly kontroly potravin zn. KLASA

Lupa.cz: Oracle končí s Java pluginem v prohlížečích

Oracle končí s Java pluginem v prohlížečích

Lupa.cz: Vlhký sen vnitra se splnil: vznikl státní podnik pro IT

Vlhký sen vnitra se splnil: vznikl státní podnik pro IT

Vitalia.cz: Kouzlo generik: Jak se liší Paralen a Paralen Grip?

Kouzlo generik: Jak se liší Paralen a Paralen Grip?

Podnikatel.cz: First minute funguje. Čím dřív, tím levněji

First minute funguje. Čím dřív, tím levněji

Podnikatel.cz: Kontrola ze sociálky se nedozvonila, má průšvih

Kontrola ze sociálky se nedozvonila, má průšvih

Měšec.cz: Jaký dostanete důchod za minimální zálohy?

Jaký dostanete důchod za minimální zálohy?

Vitalia.cz: Manipulace odpůrců GMO

Manipulace odpůrců GMO

Podnikatel.cz: Není jim to, tak to vrátí. Víme, jak na ně

Není jim to, tak to vrátí. Víme, jak na ně

Vitalia.cz: Třetina alkoholtesterů nefunguje

Třetina alkoholtesterů nefunguje

Lupa.cz: Stát v IT nekomunikuje a vše chystá tajně

Stát v IT nekomunikuje a vše chystá tajně

Podnikatel.cz: Podal přiznání, má přeplatek. Nevrátí mu ho

Podal přiznání, má přeplatek. Nevrátí mu ho

Měšec.cz: Pojištění internetových rizik: vyplatí se vám?

Pojištění internetových rizik: vyplatí se vám?

Ušetřete