Здравствуйте, alex_public, Вы писали:

_>Эээ, что что? ) Насколько я понимаю, "главный" язык для работы с монадами у нас Хаскель. Так вот в нём компилятор не делает ничего подобного, а надо записывать всё руками.
Жаль.
_>Ну для начала, если мы говорим о C++, то скажем все наши функции реализованные в виде шаблонов заработают сами автоматом. )))
Осталось придумать, как реализовать в виде шаблонов функции типа возведения в степень. Желательно так, чтобы они работали и для комплексных чисел тоже.

_>Ну а нешаблонные действительно надо оборачивать в Apply. Так же как и в Хаскеле (только там в bind). И кстати в Хаскеле это единственный вариант, в отличие от C++.
Как я понял, всё же в Хаскеле есть какие-то синтаксические улучшения для монад.

_>Ээээ что что? ) Это в каком языке компилятор так умеет? )
В ограниченном виде query comprehensions в C# делают именно это.