G
А что, не так?
Ну доказал не то, что у тебя в голове было
Size: a a a
2020 March 25
AZ
А что, не так?
rev = id имеет такое свойство
A
Противники статической типизации часто приводят пример:
и вывод такой: если в таком простом случае компилятор беспомощен и пропускает ошибку, то нет смысла вообще в компиляторах и теорем пруверах. Такая вот логика.
fn add(x: i32, y: i32) -> i32 { x - y }
и вывод такой: если в таком простом случае компилятор беспомощен и пропускает ошибку, то нет смысла вообще в компиляторах и теорем пруверах. Такая вот логика.
fn add(x: interface{}, y: interface{}) -> interface{} { ... }A
что лучше?
p
rev = id имеет такое свойство
Ну если ты только одним этим выражением доказываешь, конечно
p
Я думал это часть доказательства
A
что лучше?
где вероятность ошибки выше?
p
fn add(x: interface{}, y: interface{}) -> interface{} { ... }def add(x, y):
...
...
A
def add(x, y):
...
...
да, или так
AZ
Ну если ты только одним этим выражением доказываешь, конечно
смысл в том, что можно взять свойство, а оно не выраажет то что тебе нужно
p
Опыт нужен
p
А лучше математический
G
А лучше математический
Ты решал уравнения в школе?
A
где вероятность ошибки выше?
ошибки будут всегда.
статическая типизация просто уменьшает вероятность в разы (если мы только про ошибки, а не про то, что ещё и порой выше производительность т.к. у компилятора больше инфы о типах и т.п.)
статическая типизация просто уменьшает вероятность в разы (если мы только про ошибки, а не про то, что ещё и порой выше производительность т.к. у компилятора больше инфы о типах и т.п.)
Т8
Противники статической типизации часто приводят пример:
и вывод такой: если в таком простом случае компилятор беспомощен и пропускает ошибку, то нет смысла вообще в компиляторах и теорем пруверах. Такая вот логика.
fn add(x: i32, y: i32) -> i32 { x - y }
и вывод такой: если в таком простом случае компилятор беспомощен и пропускает ошибку, то нет смысла вообще в компиляторах и теорем пруверах. Такая вот логика.
Нет, я другое хотел сказать. Не то, что нет смысла. А то, что это не серебряная пуля
p
Ты решал уравнения в школе?
Да
AK
Т-34 85
Alexander а твой опыт что говорит? Так уж ли невнимательно на расте можно писать?
В сейфе можно даже не отстреливать что пишешь. Я впервые когда Раст пробовал, пролистав растбук за несколько часов, решил написать змейку. Под конец я вообще не отстреливал что делаю. Фиксил под 100 ошибок компилятора, штуки типа Some(&1) плавили мне мозг, что происходит в этом месиве из & и * я совсем перестал понимать. Почти целый день убил просто чтобы это скомпилировать и посмотреть что будет. Так при запуске всё сходу заработало, ничего фиксить не пришлось, ещё и по памяти змейку на плюсах в два раза уделывало. И это при том, что я не мог объяснить что творится в коде. После этого взялся за Раст посерьёзней.
G
Тогда и в Идрисе дказывать сможешь
Т8
А лучше математический
А далеко не у всех он есть. А это не так просто чем дальше
p
Тогда и в Идрисе дказывать сможешь
На уровне тех же уравнений