Názor ke zprávičce Kurs teorie kategorií na MIT od Calculon - K upřesnění, Lisp (a od něj odvozené jazyky)...

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