S
нельзя себя в такие рамки загонять
Size: a a a
2020 April 03
AZ
и делать это можно в любом языке
в любом языке ты заебешься делать по структуре на каждый чих
AZ
и тебе всё еще надо уметь держать значения на уровне типов. Сишарп например не умеет, джава не умеет
p
Я не могу написать x: i32{x>10}
S
в любом языке ты заебешься делать по структуре на каждый чих
так я могу и без структуры один раз проверить и много раз использовать.
D
В любом языке нет типа "число от 3 до 9"
смартконструкторы ftw
r
Это невозможно
Это возможно. Но вывода типов в тривиальных случаях не будет.
AZ
так я могу и без структуры один раз проверить и много раз использовать.
и как ты напишешь функцию которая требует чтобы число было чётным?
S
и как ты напишешь функцию которая требует чтобы число было чётным?
да как угодно. Важно наличие проверки где-то в программе, а не форма представления программы в виде кода
p
red75prime
Это возможно. Но вывода типов в тривиальных случаях не будет.
Ну вот)
AZ
да как угодно. Важно наличие проверки где-то в программе, а не форма представления программы в виде кода
можно хотя бы один пример этого "как угодно"?
p
То есть нет возможности полноценно использовать
p
да как угодно. Важно наличие проверки где-то в программе, а не форма представления программы в виде кода
Ты можешь забыть поставить иф
S
можно хотя бы один пример этого "как угодно"?
fn check_before_use(mustBeEven: i32)
p
fn check_before_use(mustBeEven: i32)
AZ
fn check_before_use(mustBeEven: i32)
ну она ничего не требует. Я вот написал check_before_use(1) и всё
S
Ты можешь забыть поставить иф
да, людям свойственны ошибки
p
да, людям свойственны ошибки
А с реф типами компилятор бы показал что там ошибка
p
В этом и разница
S
Типо в сигнатуре типов на пол-саги не ошибешься никогда?