N
так это получается кусок императивки
Size: a a a
2020 October 17
YR
как фп может работать, если там нельзя значения изменять?
ну не скажи )
KV
так это получается кусок императивки
Да, типа того
O
за ручку трясёшь - если там внутри другие ящики, то они раскрываются и содержимое высыпается
O
ещё сверху дырка, чтобы насыпать туда содержимое
N
так это прога в проге
KV
Ещё иногда говорят, что монада — это перегруженная точка с запятой
Потому что точка с запятой часто используется как оператор для склеивания процедур
Потому что точка с запятой часто используется как оператор для склеивания процедур
Y
Мне кажется, человеки при изучении чего-нибудь гораздо легче идут от частного к общему, находя взаимосвязи в разных штуках, чем от общего к частному, сразу берясь за абстрактные определения. Поэтому понять, что такое «монада вообще», сходу сложно.
KV
Мне кажется, человеки при изучении чего-нибудь гораздо легче идут от частного к общему, находя взаимосвязи в разных штуках, чем от общего к частному, сразу берясь за абстрактные определения. Поэтому понять, что такое «монада вообще», сходу сложно.
Не в данном случае
Y
В каком?
YR
монада - это костыль
KV
В каком?
В случае монад. Если человеку показать 4 разных типа, для которых реализован Monad, он будет долго чесать репу, и думать, что же тут общего и зачем оно нужно
KV
Общия описания для того и даются, чтобы не разбирать 100500 примеров в попытке что-либо осознать
YR
если бы Opal-овцы и позже Haskell-исты не были бы религиозными фанатикам и экстремистами, нафик бы эти монады не были бы нужны вообще
O
что там думать? три функции и одна тайпфункция общие
O
ну и законы ещё
KV
Yuki Rito
если бы Opal-овцы и позже Haskell-исты не были бы религиозными фанатикам и экстремистами, нафик бы эти монады не были бы нужны вообще
Но монады нужны
Y
В общем описании не виден смысл.
m a -> (a -> m b) -> m b, что?KV
Они есть везде, просто почти во всех языках монада одна и она дурацкая, а в хаскеле какие хочешь можно крутить
YR
или взять функтор. Ну как нормальный человек может придумать такое?!