Сообщение Re[7]: Монады от 28.10.2014 8:44
Изменено 28.10.2014 8:56 Pauel
Здравствуйте, AlexRK, Вы писали:
ARK>Я заметил, что код точно так же копипастится и в двух других случаях — во втором два вызова Bind, в третьем два from-in. И в них точно так же легко ошибиться:
ARK>
ARK>Опять же, оставив вопрос копипасты — количество кода с монадами меньше не стало.
Не стало, но код в итоге получается более предсказуемый. И до кучи получается неявный pattern matching
ARK>Я заметил, что код точно так же копипастится и в двух других случаях — во втором два вызова Bind, в третьем два from-in. И в них точно так же легко ошибиться:
ARK>
ARK> return from v1 in a
ARK> from v2 in a
ARK> select v1+v2;
ARK>
ARK>Опять же, оставив вопрос копипасты — количество кода с монадами меньше не стало.
Не стало, но код в итоге получается более предсказуемый. И до кучи получается неявный pattern matching
Re[7]: Монады
Здравствуйте, AlexRK, Вы писали:
ARK>Опять же, оставив вопрос копипасты — количество кода с монадами меньше не стало.
Не стало, но код в итоге получается более предсказуемый. И до кучи получается неявный pattern matching
В языке без поддержки монад все получается очень многословно, настолько, что профита никакого не будет. Но тем не менее есть вещи, где можно получить профит с монадами и в таком языке
ARK>Опять же, оставив вопрос копипасты — количество кода с монадами меньше не стало.
Не стало, но код в итоге получается более предсказуемый. И до кучи получается неявный pattern matching
В языке без поддержки монад все получается очень многословно, настолько, что профита никакого не будет. Но тем не менее есть вещи, где можно получить профит с монадами и в таком языке