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

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

eric lippert про монады
steve awodey про теорию категорий (Category theory foundations)

(no subject)

Date: 2013-05-06 08:44 am (UTC)
From: [identity profile] Андрей Иванов (from livejournal.com)
Поскольку всё на аглицком, четать нибуду.
Может хоть один умный русскоязычный найдётся?
Ну хоть один?
Время пошло.

(no subject)

Date: 2013-05-06 06:17 pm (UTC)
From: [identity profile] 109.livejournal.com
вам шашечки или ехать?

аводея, кстати, предполагается не читать, а слушать и смотреть (это видео).

(no subject)

Date: 2013-05-06 06:22 pm (UTC)
From: [identity profile] Андрей Иванов (from livejournal.com)
"вам шашечки или ехать?"
Мне 56 лет. А все открытия делают на языке детства, обычно матери. Вот учили Пушкина французскому, а Евгений Онегин - на русском. Ну, если нет умных на русском, то нечего тут монадить.

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