p
Программа == исходный код?
Size: a a a
2020 March 03
AZ
V
Программа == исходный код?
да
V
и машинный код тоже программа
p
foo: int = 1
AZ
и машинный код тоже программа
но на другом языке
p
Вот тебе тип
λO
typeof(1) == Int
typeof(a/0)?
λ
что мешает рассмотреть только языки где эксепшны несут инфу?
Я пытаюсь человека на противоречие вывести, а он сопротивляется, обвешивает понятия всякими странными констрейнтами, лишь бы его понятийная система не сломалась.
V
typeof(a/0)?
never
V
изи
λO
never
Не шаришь, а споришь
AZ
typeof(a/0)?
в завтипах разве значения это не типы?
V
Не шаришь, а споришь
ладно, будет int
λO
ладно, будет int
Или нет
V
Или нет
зависит от системы типов
λ
в завтипах разве значения это не типы?
Нет.
λO
в завтипах разве значения это не типы?
Разные миры
AZ
Нет.
ну ок, пруф что значение эквивалентно литералу это ведь тип?
V
в принипе, можно сделать такую систему типов, в которой будет
int / int = int
int / 0 = never
тогда тип
1 / 0 во время компиляции будет int | never
int / int = int
int / 0 = never
тогда тип
1 / 0 во время компиляции будет int | never