p
string text = read()
if text.is_int() {
int res = text.to_int()
}
if text.is_int() {
int res = text.to_int()
}
То есть
x: i32 = read()
if x > 10 {
bar(x)
}
Здесь x внутри тела ИФА будет иметь тип x: i32{x>10}
Size: a a a
2020 March 25
AZ
тайпскрипт к слову это умеет
S
Ну то есть я должен приводить ввод к числу и обрабатывать ситуацию, когда он не соответствует числу, то есть по сути делать то же самое, что и без доказательств, но только вне тела функции, правильно?
p
Или так
string text = read()
Option<int> res = text.to_int()
string text = read()
Option<int> res = text.to_int()
G
Ну то есть я должен приводить ввод к числу и обрабатывать ситуацию, когда он не соответствует числу, то есть по сути делать то же самое, что и без доказательств, но только вне тела функции, правильно?
Где хочешь, там обрабатываешь ситуацию
S
Где хочешь, там обрабатываешь ситуацию
не, там же функция принимает уже обработанное
p
Ну то есть я должен приводить ввод к числу и обрабатывать ситуацию, когда он не соответствует числу, то есть по сути делать то же самое, что и без доказательств, но только вне тела функции, правильно?
Ты можешь доказывать где угодно, главное чтобы доказательство было в месте вызова функции.
Да, ты делаешь то же самое. Но ты никогда не забудешь проверить это, потому что верификатор ругнется, если ты это не сделаешь.
Да, ты делаешь то же самое. Но ты никогда не забудешь проверить это, потому что верификатор ругнется, если ты это не сделаешь.
G
не, там же функция принимает уже обработанное
Значит суёшь ей обработанное
AZ
Жаль он не умеет делать x > 10
думаю можно попробовать извернуться, но в целом да, не умеет. Просто как иллюстрация идеи
AZ
Круто
к слову про то что даже в мейнстрим языках есть крутые штуки про которые никто не знает потому что среднестатистический фронт даже не подумает так написать)
S
Ты можешь доказывать где угодно, главное чтобы доказательство было в месте вызова функции.
Да, ты делаешь то же самое. Но ты никогда не забудешь проверить это, потому что верификатор ругнется, если ты это не сделаешь.
Да, ты делаешь то же самое. Но ты никогда не забудешь проверить это, потому что верификатор ругнется, если ты это не сделаешь.
то есть если я в аргумент функции принимаю текст, каждый третий символ которого '9', и проверяю выполнение этого условия для пользовательского ввода неправильно, то об этом меня может предупредить верификатор?
AZ
то есть если я в аргумент функции принимаю текст, каждый третий символ которого '9', и проверяю выполнение этого условия для пользовательского ввода неправильно, то об этом меня может предупредить верификатор?
это значит что ты должен распарсить тип "текст" в тип "текст, каждый третий символ которого - 9"
AZ
суть та же что ты пишешь калькулятор
AZ
как ты этол джелаешь?
AZ
a = parse(inputA)
b = parse(inputB)
inputC = toString(a + b)S
это значит что ты должен распарсить тип "текст" в тип "текст, каждый третий символ которого - 9"
а если я распарсил неправильно? Или неправильно распарсить нереально?
AZ
тут тот же принцип