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

EP>Уже есть в SGI STL: <b>std::power</b>. Работает и для целых, и для вещественных, и для комплексных, и даже для матриц.
Не вижу, каким образом оно работает для перечисленного:
EP>

EP>Power is generalized exponentiation: it raises the value x to the power n, where n is a non-negative integer.

Важное выделено. Даже в банальную вещественную степень возвести эта штука не сможет.

EP>Минимальные. Без синтаксических улучшений:
EP>

EP>foo a b = a >>= \x ->
EP>          b >>= \y ->
EP>          return x + y
EP>

с do-сахаром:
EP>

EP>foo a b = do x <- a
EP>             y <- b
EP>             return x + y
EP>

Интересно. А при этом с "обычными", немонадными a и b такая запись работает? Ну, то есть можно ли вообще всегда описывать функции в do-нотации, чтобы они работали с произвольными монадами?