Наконец-то дискуссия про ненависть к монадам (575 комментариев, Карл!) пришла к консенсусу:
монады нужны, потому что они эффективны в "допиливании" языка какими-то фичами, которые авторы туда добавить не озаботились (например, call/cc).
Для себя я из это делаю такой вывод: поскольку я до сих пор не использую (и даже не изучил) многие фичи моего языка (C#) и не ощущаю нехватки конструкций языка в задачах, которые я решаю, то использовать монады мне пока рано.
И ещё оттуда же:
Если вы видите человека, который не впадает в околорелигиозный экстаз уже при виде самого определения монад, и если хотите ему что-то про пользу монад объяснять, работайте в рамках аксиоматики, в которой абстракция и обобщение - априорное зло.
монады нужны, потому что они эффективны в "допиливании" языка какими-то фичами, которые авторы туда добавить не озаботились (например, call/cc).
Для себя я из это делаю такой вывод: поскольку я до сих пор не использую (и даже не изучил) многие фичи моего языка (C#) и не ощущаю нехватки конструкций языка в задачах, которые я решаю, то использовать монады мне пока рано.
И ещё оттуда же:
Если вы видите человека, который не впадает в околорелигиозный экстаз уже при виде самого определения монад, и если хотите ему что-то про пользу монад объяснять, работайте в рамках аксиоматики, в которой абстракция и обобщение - априорное зло.
5 comments | Leave a comment