Algebraické efekty

15.6.2015 09:29 | Programování | | Přečteno: 1373× | Komentářů: 8, poslední 26. 8. 2015 | Hodnocení: 91 % (11 hlasů)

Algebraickým efektem (dále už jen efektem) jsou například výjimky, (asynchronní) vstup a výstup, měnitelný stav nebo nedeterminismus. V tomto zápisku si ukážeme, k čemu jsou algebraické efekty dobré, jak oddělit deklarace efektů od jejich implementace, a jak toto oddělení prospívá modularitě programů a usnadňuje jejich testování.

async a await je krok špatným směrem

6.3.2015 19:13 | Programování | | Přečteno: 2869× | Komentářů: 93, poslední 12.3. | Hodnocení: 70 % (10 hlasů)

Jelikož je asynchronní kód stále častějším jevem, přidávají programovací jazyky speciální podporu pro jeho zápis. Příkladem takové podpory jsou klíčová slova async a await, která se momentálně z jazyka C# 5 šíří do dalších jazyků. V tomto zápisku vysvětlím, proč async a await není dobrý nápad.

Python konverguje k ML

14.8.2014 18:18 | Programování | | Přečteno: 1484× | Komentářů: 25, poslední 13.3. | Hodnocení: 71 % (7 hlasů)

Typové systémy mohou výrazně zjednodušit konstrukci a údržbu větších programů. Python bohužel zatím žádný oficiální typový systém nemá, ale zřejmě se blýská na lepší časy. Guido van Rossum, autor jazyka, přišel s návrhem, aby se anotace funkcí specializovaly pro typové anotace. Předpokládám, že je jen otázkou času, kdy Python dostihne Dart a získá volitelný typový systém.

Pár postřehů z konference ScalaDays 2014

20.6.2014 21:57 | Co mě zaujalo | Přečteno: 884× | Komentářů: 11, poslední 15.3. | Hodnocení: 83 % (6 hlasů)

Co mě na konferenci ScalaDays 2014 zaujalo nejvíce.

Nejlepší nabídka k sňatku?

26.2.2013 21:46 | Co mě zaujalo | Komentářů: 1, poslední 28. 2. 2013 | Hodnocení: 75 % (4 hlasů)

Posuďte sami: My boyfriend of 7 years and I are both physicists. Here's how he proposed to me. A ještě jeden odkaz pro milovníky Portalu: The Gary Hudston Project

Emacs mód pro Agdu napíše kód za vás

17.2.2013 19:45 | Programování | | Přečteno: 1168× | Komentářů: 48, poslední 11.3. | Hodnocení: 100 % (10 hlasů)

V tomto zápisku si ukážeme jednu užitečnou schopnost Emacs módu pro jazyk Agda. Jedná se o automatické napsání kódu, kdy programátor pouze specifikuje, co má kód dělat, a nechá editor, aby takový kód napsal.

Tramvaje – úloha pro ZŠ

28.1.2013 21:48 | Ostatní | Komentářů: 38, poslední 12.3. | Hodnocení: 100 % (9 hlasů)

V dnešní diskuzi bylo zmíněno několik jednoduchých úloh, přidávám další.

Rychlou chůzí jdu podél tramvajových kolejí. Každých 8 minut mě předjede tramvaj jedoucí v mém směru a každé 3 minuty mě mine tramvaj jedoucí proti mně. Tramvaje v obou směrech mají stejný interval, jaký?

Eratosthenes: Jednodušší a bezpečnější web

18.10.2012 21:51 | Co mě zaujalo | Přečteno: 1355× | Komentářů: 23, poslední 21. 10. 2012 | Hodnocení: 100 % (5 hlasů)

Moderní webové prohlížeče už neslouží jen k prohlížení dokumentů, ale staly se z nich platformy pro běh aplikací. Aby se vývojářům usnadnila tvorba aplikací, je sada webových technologií neustále rozšiřována. Množství a složitost technologií však způsobuje problémy při jejich specifikaci a implementaci. Výsledkem pak jsou bezpečnostní problémy nebo různá chování různých prohlížečů. Jedno z možných řešení problému je radikálně zjednodušit prohlížeč.

Posílení svobod u nesvobodného software

4.7.2012 23:11 | Co mě zaujalo | Přečteno: 1208× | Komentářů: 48, poslední 9. 7. 2012 | Hodnocení: 100 % (5 hlasů)

Že by se blýskalo na lepší časy? Včerejší předběžné rozhodnutí Soudního dvora EU je krokem, který možná povede k posílení uživatelských svobod u nesvobodného software. Vše začalo v Německu, když tamní společnost UsedSoft přeprodávala licence na software společnosti Oracle. Oracle samozřejmě nezklamal a spor skončil u soudu. Německý soud pak požádal Soudní dvůr EU o vyjádření, jehož dosavadním výsledkem je předběžné rozhodnutí, které říká, že licence lze přeprodávat, a to bez ohledu na šílenosti typu EULA.

Haskell 2010

7.7.2010 17:55 | Programování | Přečteno: 1248× | Komentářů: 12, poslední 8. 7. 2010 | Hodnocení: 100 % (6 hlasů)

Po více než sedmi letech vyšla nová verze jazyka Haskell. Nový jazyk se jmenuje Haskell 2010 a od svého předchůdce Haskellu 98 se liší zejména tím, že podporuje hierarchické moduly a standardizuje FFI. Novinek je samozřejmě více a najdete je v Haskell 2010 Language Report.

Pozoruhodná úloha

4.11.2007 19:14 | Co mě zaujalo | Komentářů: 15, poslední 7. 11. 2007 | Hodnocení: 71 % (7 hlasů)

Dnes odpoledne se na blogu Marka Stopky objevily dvě úlohy, při jejich řešení jsem si vzpomněl na jinou úlohu. Je docela profláklá, ale stejně pro ty, co ji neznají, zde je zadání:

Máme dvě čísla, obě jsou větší než 1 a menší než 100. Adamovi řekneme jejich součet a Evě jejich součin.

Eva: Já nevím jaká to jsou čísla.
Adam: Já věděl, že to nebudeš vědět.
Eva: Už to vím.
Adam: Já už taky.

Jaká to jsou čísla?