тип-параметр, типа where Ttype : a1 OR Ttype : a2 ?
Нет. Более того, такого нигде нет.
Даже в typescript?
Почему даже? Обобщения почти везде одинаковый механизм используют, в ТС тоже
В тайпскрипте можно where T extends A|B
А ещё в плюсах что-то подобное на шаблонах наверняка можно сделать
Но система типов разная
в F# (Disrcimination Union) - АТД
Нет. Он хочет констрейнт OR на дженерик.
а если сделать базовый абстрактный и от него два sealed class ?
Обсуждают сегодня