109: (animated-1)
[personal profile] 109
постепенно выяснилось, что [почти] все эти люди, которые тут в жеже рассказывают про монады, или там теорию категорий, они, оказывается, и сами не особенно врубаются. собственно, из-за этого и рассказывают - надеются, что пока рассказывают, сами поймут. поэтому слушать их вредно, не столько потому, что иногда говорят чушь, сколько потому, что излагают косноязычно и понять крайне трудно даже тогда, когда не чушь говорят.

те же, кто действительно врубается, рассказывают так, что всё понятно. например:

eric lippert про монады
steve awodey про теорию категорий (Category theory foundations)
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

Profile

109: (Default)
109

March 2019

S M T W T F S
     12
3456789
101112131415 16
17181920212223
24252627282930
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags