EG
В Rust компилятор тебя ебёт за каждый шаг
Size: a a a
2021 April 09
ΑZ
поэтому он проще
EG
EG
В OCaml есть GC, например
EG
Весь класс проблем с self-referential там просто не возникает
EG
В расте встроенные фичи языка не сумели реализовать в рамках его ограничений, лол
ΑZ
ну окамл наверное проще
EG
Примерно каждый раз, когда ты пишешь слово
async, оно, строго говоря, создаёт UB.EG
Потому что футуры нарушают правила алиасинга из коробки.
ΑZ
не думаю
EG
А тут не надо думать
ΑZ
ну если ты готов продемонстрировать уб то давай)
ΑZ
а если нет то его и нет
EG
В футуре могут храниться ссылки на другую часть футуры — раз
EG
Футура принимает
&mut Self — дваEG
Мутабельная и иммутабельная ссылки на одну память, это UB
DS
Clean, mercury и curry не сложнее хаскеля, а тем более агды, кока и идриса
ΑZ
нет если в компиляторе захачен этот кейс
EG
Это UB с точки зрения правил алиасинга
DS
И да, dhall ощутимо высоко - это отдельный кек