9
Какие статически типизированные языки поддерживают типы пересечений для возвращаемых значений функции?
Начальная нота: Этот вопрос был закрыт после нескольких правок, потому что мне не хватало правильной терминологии, чтобы точно указать, что я искал. Затем Сэм Тобин-Хохштадт опубликовал комментарий, который позволил мне точно понять, что это было: языки программирования, которые поддерживают типы пересечений для возвращаемых значений функций. Теперь, когда вопрос был вновь …