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

OG>>Как нормальная замена void. Чтобы можно было функции, возвращающие значения, и функции, не возвращающие значения, однотипно полиморфно обрабатывать.

J>А мона пример??

J>Tuple GetTuple0() {...}
J>Tuple<int> GetTuple1 {...}

J>как можно полиморфно их обработать???

Ну, например, в Haskell следующий код будет работать независимо от того, возвращает ли функция f кортеж, () или что-то ещё:

liftM f