c
Orhideous
Ох. Опять эти сравнения с коробками…
Ох. Опять эти сравнения с коробками…
Orhideous
Блеск и нищета ментальных костылей. Помогают быстро вкатиться, но потом только мешают.
Size: a a a
2020 July 17
c
unclechu
а кто объяснит что такого криминального в аналогии с коробками?
а кто объяснит что такого криминального в аналогии с коробками?
c
unclechu
а список например - это коробка?
а список например - это коробка?
c
unclechu
в хаскеле - вполне себе коробка, ну точнее попадает под kind коробки
в хаскеле - вполне себе коробка, ну точнее попадает под kind коробки
c
unclechu
ну говорить что монада - это коробка, это да, непонятно вообще что означает
ну говорить что монада - это коробка, это да, непонятно вообще что означает
c
unclechu
но можно сказать что монада - это способ композиции операций над коробками
но можно сказать что монада - это способ композиции операций над коробками
c
Orhideous
Угу. А теперь попробуй объяснить в категории коробок стрелку. Или Semigroupal из cats
Угу. А теперь попробуй объяснить в категории коробок стрелку. Или Semigroupal из cats
c
Orhideous
*в терминологии
*в терминологии
c
Orhideous
Криминального нет. Просто в долгосрочной перспективе это не самый лучший способ объяснять.
Криминального нет. Просто в долгосрочной перспективе это не самый лучший способ объяснять.
Dv
portnov
{null: null}
{null: null}
Нет, так нельзя. Ключи обязательно в кавычках.
c
Orhideous
А что List?
А что List?
Dv
А он — монада!
IJ
монада -- это чёрно-белый кружок
IJ
а коробка -- это ёмкость
Dv
Правило коробки!
c
Orhideous
Таумиэль, не иначе.
Таумиэль, не иначе.
КП
Ересь
Dv
Ересиэль!