История изменений

Тесты показывают наличие ошибок, но не могут показать их отсутствия.

Предположите, что ошибка есть. Напишите тест, который должен упасть в случае выполнения вашего предположения. Проверьте и исправте по необходимости. Доказательство отсутствие ошибки закончено.

Вы вот попробуйте дать мутабельную ссылку на один и тот же объект в два треда в Rust-е.

Если бы это было можно, приводило бы это к data race в 100% случаев? А в 50% случаев? Если нечто более-менее полезное приводит к ошибкам лишь в относительно небольшом проценте случаев, оправдан ли запрет этого более-менее полезного нечто?

у Go корни из Limbo, а уж откуда растет Limbo углубляться в этом разговоре смысла не было

Смысл был, потому что некоторыми чертами Go ближе именно к Alpha, нежели к Limbo.

И уж чего там нет вообще – так это утверждений, что Пайка, Томпсона и др. брали в Google именно для того, чтобы они сделали для Google язык Go.

Там это было в качестве довольно правдоподобной гипотезы. То есть прямо этого никто не заявляет, потому что интеллектуальная собственность Bell Labs и всё такое, но мы то понимаем. В следующий раз смотрите и слушайте такие доклады не краем глаза и не краем уха, а то заработаете косоглазие и прочие проблемы с восприятием информации.

Тесты показывают наличие ошибок, но не могут показать их отсутствия.

Предположите, что ошибка есть. Напишите тест, который должен упасть в случае выполнения вашего предположения. Проверьте и испрвте по необходимости. Доказательство отсутствие ошибки закончено.

Вы вот попробуйте дать мутабельную ссылку на один и тот же объект в два треда в Rust-е.

Если бы это было можно, приводило бы это к data race в 100% случаев? А в 50% случаев? Если нечто более-менее полезное приводит к ошибкам лишь в относительно небольшом проценте случаев, оправдан ли запрет этого более-менее полезного нечто?

у Go корни из Limbo, а уж откуда растет Limbo углубляться в этом разговоре смысла не было

Смысл был, потому что некоторыми чертами Go ближе именно к Alpha, нежели к Limbo.

И уж чего там нет вообще – так это утверждений, что Пайка, Томпсона и др. брали в Google именно для того, чтобы они сделали для Google язык Go.

Там это было в качестве довольно правдоподобной гипотезы. То есть прямо этого никто не заявляет, потому что интеллектуальная собственность Bell Labs и всё такое, но мы то понимаем. В следующий раз смотрите и слушайте такие доклады не краем глаза и не краем уха, а то заработаете косоглазие и прочие проблемы с восприятием информации.