uユ
Size: a a a
2020 July 28
H
в расте вообще дохуя видов функций
M
одна из рациональных причин — просто уметь комбинировать эффекты. ты в расте этого не сможешь сделать, например, будешь указатель на функцию принимать в своей
foo. если это указатель на конст функцию — const foo, если нет — просто fooПсевдокод напиши
H
Fn, FnMut, FnOnce, fn, + сырые указатели на функции
M
Я не понял
H
Псевдокод напиши
foo(fn: impl Fn(i32) -> i32) { ... }
const foo(fn: impl const Fn(i32) -> i32) { ... }H
такое закодировать одной сигнатурой с одним телом
M
Смысла не имеет
H
увы, не сможешь без комбинируемых эффектов, потому что const — это тоже эффект
H
Смысла не имеет
Почему?
M
Я вроде писал уже о своем представлении compile тайма
H
Почему тогда
Vec::default и Vec::new делают одно и то же, но первый неконстантный, а второй — да?H
потому что Default эффекты не учитывает
M
M
Я бы как в жс сделал кстати await some(), const some()
M
Растровый вариант с some().await диковат имхо
M
Оправдание с чейнингом слабовато
H
если бы позволили делать иерархию комбинируемых эффектов, то по-умолчанию Default был бы с эффектом const, а если ты хочешь I/O — уже понижается до I/O эффекта
H
если так, то и default, и new в Vec были бы const
H
это как пример зачем эффекты комбинируемые нужны