S
и в доказательствах, если оно вообще доказуемо
Size: a a a
2020 April 03
p
Типо в сигнатуре типов на пол-саги не ошибешься никогда?
Если ошибёшься в сигнатуре, скорее всего в теле функции будет несовпадение с сигнатурой
S
ну да, будем надеяться
p
Шанс этого очень низкий)
S
Если пишешь только функции про четность числа, то наверное да
P
Это невозможно
любой тип, у которого конструктор с валидацией
AZ
Типо в сигнатуре типов на пол-саги не ошибешься никогда?
ты когда-нибудь ошибался в стиле "вместо int написал string"?
p
Если пишешь только функции про четность числа, то наверное да
Наоборот, здесь доказательств мало, и ошибиться в двух местах проще
p
любой тип, у которого конструктор с валидацией
Нужно чтобы валидация происходила во время компиляции
S
мы уже проходили, что валидация у тебя в рантайме
AZ
мы уже проходили, что валидация у тебя в рантайме
блять
P
Нужно чтобы валидация происходила во время компиляции
так и произойдёт, конструктор же парсит
p
мы уже проходили, что валидация у тебя в рантайме
Я писал, что валидировать нужно очень мало данных
AZ
atoi тоже в рантайме работает
p
ОЧЕНЬ мало
AZ
только int вполне себе компайл таймовый
p
Остальное все известно на этапе компиляции
AZ
так и произойдёт, конструктор же парсит
если у тебя язык чекает что конструктор реально чекает то что чекает, то ты никак не накосячишь
p
так и произойдёт, конструктор же парсит
Суть реф типов в проверках на этапе компиляции
S
Давайте сделаем бенчмарк ваших языков с проверкой данных из stdin во время компиляции и си с atoi, по-моему будет одинаково