Wyniki wyszukiwania dla "category-theory"
What does “coalgebra” mean in the context of programming?
Kilkakrotnie słyszałem termin „carbongebras” w programowaniu funkcjonalnym i kręgach PLT, zwłaszcza gdy dyskusja dotyczy przedmiotów, komonad, soczewek i tym...
W jaki sposób funktory w Haskell są powiązane z funktorami w teorii kategorii?
O ile mi wiadomo, funktor jest mapowaniem między dwiema kategoriami, na przykład od obiektów wC http://mathurl.com/32qch9w.png do obiektówD http://mathurl.co...
Różnica między wolnymi monadami a punktami stałych funktorów?
czytałemhttp://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html gdzie abstrakcyjne drzewo składni wywodzi się jako wolna monada funk...