Исходное сообщение
"Доступен язык программирования Rust 1.16" Отправлено Некулхацкер, 23-Мрт-17 19:19
> Как говорят знакомые атеисты: ОГОСПАДЕ! > Переменная (англ. Variable) имеет в основе слово МЕНЯТЬ. Логично что то что > меняется не может быть иммутабельным. В противном случае говорят "документация врёт > и не соответствует коду". > Прежде чем учить языки программирования, выучи хоть один человеческий, хотя бы на > уровне базовой школы Понимаете, есть некая разница между логикой предикатов и логикой высказываний. В данном случае неизменяемая переменная -- честный полноценный предикат. Потому что это не константа и может быть задана непредсказуемо. Но вот измениться после такого, как задана, уже не может. И вы спокойно в таком случае пользуетесь аппаратом логики предикатов.