Na MIT právě běží kurs teorie kategorií, volně přístupný včetně videí a textových materiálů. Jedním ze spoluautorů je i u nás známý fyzik Bartosz Milewski.
Teorie kategorií je poměrně nová, ale vysoce praktická disciplína matematiky zkoumající struktury společné různým matematickým odvětvím od topologie přes logiku po algoritmizaci. Je na ní založeno funkcionální programování, zejména Haskell.
Tato zprávička byla zaslána čtenářem serveru Root.cz pomocí formuláře Přidat zprávičku. Děkujeme!
K upřesnění, Lisp (a od něj odvozené jazyky) je založený na netypovaném λ-kalkulu, kdežto Haskell na typovaném, a právě o tom typovém systému jsou ty přednášky, i když v tomto případě s celou matematickou teorií, na které to celé stojí. Milewski tam určitě propašuje Haskell a C++, kteréžto jazyky mají HKT (higher-kinded types).
17. 1. 2020, 13:44 editováno autorem komentáře
John McCarthy, pokud nás tedy jeho názor Lisp zajímá, byl jiného názoru. Není problém najít si jeho článek z roku 1960, ve kterém Lisp představil a λ-kalkul několikrát explicitně zmiňuje. Osobně dávám jeho tvrzením podstatně větší váhu než blábolům trollů na fóru, ale každý nechť si obrázek udělá sám.
https://www.lambdadays.org/static/upload/media/1487239321204160davidturner.pdf
zejm. str. 6
https://www.youtube.com/watch?v=QVwm9jlBTik
cca od 11:00
Ale mozna je https://www.lambdadays.org/lambdadays2017/david-turner troll na foru :-D
Jinak ten paper z roku 1960 je pro zajemce tuta: http://www-formal.stanford.edu/jmc/recursive.pdf
