Vlákno názorů k článku
Kurs teorie kategorií na MIT od ded.kenedy - Jenom některé jazyky jako Haskell jsou postaveny na...

Jenom některé jazyky jako Haskell jsou postaveny na teorii kategorií. Funkcionální programování se bez teorie kategorií může s klidem obejít, což dokazuje například obří rodina LISPových jazyků.

Není Haskell postavený na lambda kalkulu?

To se nevylučuje...

Zrovna Lisp není čistě funkcionální.

Na teorii kategorií je postavena část, která v Lispovských jazycích funkcionální není.

To se týká jen typového systému, jiné aspekty se dají použít i v Lispu a jemu příbuzných jazycích.

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

Historicky vzato Lisp na λ-kalkulu zalozeny nebyl...

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

Třeba máš pravdu, ale odpovídat na tvrzení: "Historicky vzato Lisp na λ-kalkulu zalozeny nebyl..." hned takhle? Podle tebe je každý, kdo má jiný názor hned troll. Asi krize středního věku, "ale každý nechť si obrázek udělá sám".

Tak sem si pročetl: SOME HISTORY OF FUNCTIONAL PROGRAMMING LANGUAGES a v části "Some myths about LISP" se píše: "LISP was not based on the λ calculus". Moje odbornost tedy není computer science, ale budu spíš věřit David Turnerovi než nějakému blekotovi nebo mekotovi na fóru.

V tom případě je silně zavádějící tvrdit, že funkcionální programování je postaveno na teorii kategorií, když to jde evidentně i bez něj.