Uczestniczyłem w absolutnie fascynującym webinarze wujka Boba "The Future of Programming Languages" po niesławnym "odzaproszeniu" i dostałem kodzik na jednen filmik z Clean Coders.
Moją uwagę przykuł film o dżwięcznym tytule "Composition Monoids and Monads".
Wujek Bob odsyła nas do doktora Bartosza Milewskiego po więcej ostrzegając, że będzie potrzebny do tego umysł wyspany, dużo wolnego czasu i kawy :)
https://cleancoders.com/episode/clean-code-episode-60
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
@jarekr000000: Cytuję "So monads are monoids in the category of endofunctors" :-). A potem jest miniwykład o DNA. Wujek zauważa, że informacja kodująca białka to kawałek całkiem nieźle napisanego kodu.
informacja kodująca białka to kawałek całkiem nieźle napisanego kodu. ale rak...
Tymczasem w ostatnim wpisie na blogu Wujka: "I’ve had people get offended about my definition of monads."
A tutaj link do tego webinaru o przyszłości ( i przeszłości ) języków programowania: https://m.youtube.com/watch?v=ya1xDCCMh7g
@KamilAdam: nie, zawsze jest funktorem . A większość funktorow co się używa to tez monady
@nowyworek: to że zamieszaleś wprowadzajac jeszcze funktir nie znaczy że masz racje :p Future ze Scali ma flatMap i nie jest monadą bo nie spełnia praw monad niestety :(
Boje się oglądać, bo to może być to gdzie Uncle Bob zasłynął najgorszą definicją monady... :-)