G
дебаг будет отсутсвовать в языках с формальной верификацией
Вряд ли отсутствовать, скорее сводиться к минимуму
Size: a a a
2020 April 01
p
если не оперировать мутабельным стейтом то вероятность ошибитсья падает на порядки
но это неудобно - оперировать только иммутабельными данными
p
Вряд ли отсутствовать, скорее сводиться к минимуму
ну я считаю что 0,01% это отсутсвие
AZ
но это неудобно - оперировать только иммутабельными данными
почему неудобно?
λ
Т-34 85
скажи, а почему взлетел алгол, а не лисп?
1. тогда были строже требования к перфомансу
2. объективно лисп примерно то же самое говно
2. объективно лисп примерно то же самое говно
G
но это неудобно - оперировать только иммутабельными данными
В двенадцатой главе книжки по Idris тебе покажут как обращаться с изменяемым состоянием.
r
дебаг будет отсутсвовать в языках с формальной верификацией
С формально верифицированным компилятором, работающем на формально верифицированном железе, работающим на формально верифицированной физике. (с большой вероятностью - шутка)
p
крч мне лень что-то доказывать адептам
p
пойду на пхп писать
AZ
и формальная спецификация не требует функциональности языка
чтобы было понятно что я имею в виду:
декларативно:
декларативно:
squareList = fmap (*2)
операционистскиfn square_list(xs: Vec<i32) -> Vec<i32> {
let mut result = Vec::with_capacity(xs.len());
for i in 0..xs.len() {
result[i] = xs[i]*2;
}
result
}
вопрос - где проще допустить ошибку?AZ
можно доебаться разве что что я фмап использовал
AZ
типа библиотечная функция
AZ
например тут ошибка что я по индексу обращаюсь к результату, раст эксепшн выдаст
AZ
ну и так далее
AZ
когда начинаешь с байтиками возиться везде такое вылезает
D
можно доебаться разве что что я фмап использовал
да, честнее будет сделать сравнение с рекурсивной
squareListAZ
да, честнее будет сделать сравнение с рекурсивной
squareListпросто с рекурсией придется аргумент доставать, а я хочу бесточечно. Придумывать же бесточечный наивный пример мне лень
p
чтобы было понятно что я имею в виду:
декларативно:
декларативно:
squareList = fmap (*2)
операционистскиfn square_list(xs: Vec<i32) -> Vec<i32> {
let mut result = Vec::with_capacity(xs.len());
for i in 0..xs.len() {
result[i] = xs[i]*2;
}
result
}
вопрос - где проще допустить ошибку?юзай комбинаторы, на них трудно совершить ошибку
AZ
юзай комбинаторы, на них трудно совершить ошибку
комбинаторы это и есть шаг в сторону от операционности
AZ
когда ты говоришь ЧТО а не КАК, манипулируя стейтом