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

EP>>Я думаю намного более неудобно, если в ветках получаются слабосвязанные A и B, и выводится какой-то крайне слабый общий тип вроде IPrintable (как это делается сейчас) — по сути много полезной информации о типах бесследно теряется.
WH>По сути, она почти никогда не нужна.

Если по сути не нужна, тогда действительно не понятно зачем when — был бы void во случаях

WH>А в тех редких случаях когда нужна того решения что вы предлагаете не достаточно.

Почему?

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

EP>>Я думаю намного более неудобно, если в ветках получаются слабосвязанные A и B, и выводится какой-то крайне слабый общий тип вроде IPrintable (как это делается сейчас) — по сути много полезной информации о типах бесследно теряется.
WH>По сути, она почти никогда не нужна.

Если по сути не нужна, тогда действительно не понятно зачем when — был бы void во случаях (только из-за dangling else?)

WH>А в тех редких случаях когда нужна того решения что вы предлагаете не достаточно.

Почему?