Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Témata - Neználek

Stran: [1]
1
/dev/null / Kurz Teorie kategorií na MIT právě teď
« kdy: 15. 01. 2020, 09:16:44 »
Právě na MIT běží kurz Programming with Categories (celý leden, každý všední den přednáška), jsou k dispozici nahrávky a studijní materiály. Každou chvíli je tu TK zmiňovaná, tak by to třeba někoho mohlo zajímat.

http://brendanfong.com/programmingcats.html

Sleduju to a zatím je to nejsrozumitelnější materiál, s jakým jsem se setkal. Hlavně oceňuju dostatek příkladů a důraz na názornost místo formalismu.

Stran: [1]