YS
С типами высшего порядка
Size: a a a
2021 March 26
YS
Скала в том числе
AK
Так оно везде в статически типизированных языках
Не во всех статически типизированных языках транслятор умеет в композицию типов.
YS
Что такое "композиция типов"?
YS
И можно пример языков со статической типизацией и типами высшего порядка и без "композиции типов"?
AK
Что такое "композиция типов"?
data Maybe a = Just a | Nothing
Y
data Maybe a = Just a | Nothing
Какой тип с каким тут композируется?
YS
Кажется обычно чаще это называют "тип-сумма"
YS
Да, хороший вопрос, что с чем композируется
YS
ADT в таком виде есть не везде, да
AK
И можно пример языков со статической типизацией и типами высшего порядка и без "композиции типов"?
Вопрос не в том есть это формально или нет, а как это реализовано, на каком этапе, при трансляции или при выполнении проверки идут
YS
Вопрос не в том есть это формально или нет, а как это реализовано, на каком этапе, при трансляции или при выполнении проверки идут
Если язык статически типизированный - все проверки кажется должны идти до выполнения
YS
Если я ничего не путаю
YS
(могу путать)
Y
Если язык статически типизированный - все проверки кажется должны идти до выполнения
Не все. Например, в статических ОО-языках downcast’ы (где они есть) проверяются при выполнении
YS
Не все. Например, в статических ОО-языках downcast’ы (где они есть) проверяются при выполнении
Там статически вообще ничего не проверяется?
YS
Я просто плохо знаком с OO языками)
JS
Если язык статически типизированный - все проверки кажется должны идти до выполнения
хоть какие-то проверки должны быть до исполнения
YS
Ну да, со "все" я может погорячился
Y
Там статически вообще ничего не проверяется?
Ну, всё остальное статически )