Ještě před prázdninami jsem úspěšně zdolal státnice a dostal se na doktorské studium na FIT VUT. Jelikož nový školní rok začíná již za pár dní, chtěl bych napsat pár řádek o nadcházejícím roce z pozice doktoranda.
Tentokrát bude úloha/hádanka buď značně triviální, nebo obtížná, a to v závislosti na tom, zda prokouknete trik, který bude třeba využít ;).
Během mého studia na FITu, ať již při absolvování předmětu TIN či při přípravě na státní závěrečnou zkoušku, jsem nabyl dojmu, že problematika substitucí, morfismů a uzavřeností jazykových tříd vzhledem k těmto operacím nebývá dostatečně pochopena. Sepsal jsem proto krátký článek, kde se snažím tuto problematiku osvětlit formálně i neformálně na příkladech. Myslím si, že po vhodném vysvětlení na tom není nic složitého :).
Po dvou letech na Debianu jsem se rozhodl přejít jinam, a má volba padla na Arch Linux. Co mě k tomu vedlo, jaké distribuce jsem používal a co říkám na Arch naleznete v následujícím příspěvku.
Hledání cesty ven z bludiště patří mezi klasické programátorské úlohy. V tomto příspěvku bych vám chtěl ukázat, jak si lze takový jednoduchý "maze solver" bez větších obtíží naprogramovat v Haskellu.
Včera jsem měl poslední zkoušku v letním semestru (já vím, ještě státnice :]) a jelikož se představitelé onoho předmětu pochlapili, tak už jsou i výsledky. V tomto příspěvku bych chtěl shrnout mé dojmy z obou předmětů, které jsem v tomto semestru absolvoval (mé očekávání si lze přečíst zde).
Občas se lze setkat s názorem, že statická metoda třídy je to stejné, co obyčejná funkce. V tomto krátkém příspěvku vás přesvědčím, proč tomu tak není ;).