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

TB>Можно описать тип результата основываясь на типах аргументов.
TB>А сказать "сам выведи по содержимому функции" — нельзя. И это очень хорошо потому что я знаю каково это когда поменял одну строчку в одной функции и из-за этого поползли изменения сигнатуры по всей кодовой базы, и иногда там где вообще не хочется, и не всегда понятно почему.
Не вижу проблемы, если указание типов опционально. То есть хочешь — и всё едет. Не хочешь — пишешь явно "здесь должно быть вот так", и дальше этой строчки изменения не поползут.

TB>Можно только если ты сам опишешь нужный таггед юнион и вручную пропишешь мапперы в него. С телефона не напишу
Ну, вот это и мешает писать нормально.

TB>Кстати а A|B|C , (A|B)|C и A|(B|C) это одно и то же или разная фигня?
Одно и то же. И B|(C|A) — тоже.