AZ
Size: a a a
2020 March 03
λ
Спасибо, Алекс
Т8
Возьмём "сильную" типизацию, в случае такой типизации интерпретатор динамического яп будет бросать эксепшн. Является ли в таком случае операция определенной на всём множестве значений в языке?
А почему нет? Является, но делается в рантайме
Т8
И по мере интерпретации
p
Возьмём "сильную" типизацию, в случае такой типизации интерпретатор динамического яп будет бросать эксепшн. Является ли в таком случае операция определенной на всём множестве значений в языке?
Нет
λ
Т-34 85
А почему нет? Является, но делается в рантайме
Ну тогда мы можем перебрать все операции в языке и выяснить, что они работают точно так же. Соответственно в языке один тип и каждая операция над ним определена.
p
Не вижу разницы между ошибкой в компайл тайме и рантайме если говорить про типы
λ
Нет
Какой критерий? Бросаемый эксепшн?
p
Какой критерий? Бросаемый эксепшн?
В данном случае да
Т8
Ну тогда мы можем перебрать все операции в языке и выяснить, что они работают точно так же. Соответственно в языке один тип и каждая операция над ним определена.
В смысле "один тип"? Если там строка, ты не зафигачишь туда целое число
λ
В данном случае да
Но в языке могут быть много разных причин бросания эксепшна. Нужно ли считать, что бросаемый эксепшн означает, что данные не подошли операции по типу?
p
Но в языке могут быть много разных причин бросания эксепшна. Нужно ли считать, что бросаемый эксепшн означает, что данные не подошли операции по типу?
Конкретный эксепшн говорит что типы не совпадают
p
Как и конкретная ошибка в статике
Т8
Но в языке могут быть много разных причин бросания эксепшна. Нужно ли считать, что бросаемый эксепшн означает, что данные не подошли операции по типу?
Смотря какой эксепшин. Они ж разные. Если именно такой, то да, не тот тип
Т8
Короче, это эмуляция типов в рантайме
λ
Т-34 85
Смотря какой эксепшин. Они ж разные. Если именно такой, то да, не тот тип
То есть для того, чтобы считалось что в языке один тип надо уравнять все эксепшны в нём?
λ
И да, как формализуется такая теория о типах?
Т8
То есть для того, чтобы считалось что в языке один тип надо уравнять все эксепшны в нём?
Что значит "все эксепшены уравнять"?
p
И да, как формализуется такая теория о типах?
Какая теория
λ
Т-34 85
Что значит "все эксепшены уравнять"?
Ну допустим мы делаем язык, в котором есть эксепшны, но их можно только ловить и бросать, никакой дополнительной информации они с собой не несут