p
че, какой будем язык после раста учить
у меня в планах четыре языка: idris, haskell, scala, ATS
Size: a a a
2020 August 12
p
идрис вот щас гоняю
p
когда ты пишешь foo[1] ты должен ответить на вопрос, почему массив foo умеет элемент 1
а неважно, ну захотел я так
p
случайно написал
p
забыл что индексация с 0
CD
а неважно, ну захотел я так
ну смотри, ты захотел вызвать crates::do_smth а оно в случае аргумента 1 форматирует тебе жесткий диск
CD
тот же результат
p
и верифицированная игра в виселицу
ну не мотивирует хз
p
ну смотри, ты захотел вызвать crates::do_smth а оно в случае аргумента 1 форматирует тебе жесткий диск
это специфицированное поведение хз о чем ты
p
а в плюсах неспецифицированное
CD
это специфицированное поведение хз о чем ты
да, специфицированное поведение - жесткий диск форматируется
p
то есть всегда если я вызову с аргументом 1, то будет формат
CD
тебе легче стало?
p
а в плюсах может быть сегфолт может быть corrupt или еще чего
p
тебе легче стало?
да, я точно знаю из-зач чего у меня форматнется жесткий диск
CD
а в плюсах может быть сегфолт может быть corrupt или еще чего
твой пример пока еще специфицированное поведение
p
твой пример пока еще специфицированное поведение
доступ за пределы массива UB
CD
чутка поправить надо
CD
доступ за пределы массива UB
доступа нет
p
доступа нет
как это нет если есть