Исходное сообщение
"70% проблем с безопасностью в Chromium вызваны ошибками при ..." Отправлено red75prim, 26-Май-20 18:52
Дык, что написали, то и получим. Хотели мутабельный алиасинг, получили мутабельный алиасинг. Паник в коде с Cell<i32> не будет, могут быть логические ошибки. А для описания подробных требований к алгоритму (чтобы избежать и логических ошибок) нужны языки с более мощными системами типов, но работа с ними ближе к доказательству теорем чем к программированию.