Аффинная логика и Rust: отдал, значит, потратил

Ефим Карпович · счетовод Монетного двора

Вот распечатка. Подрядчик пишет программу хранилища, а машина, которая проверяет его код, через раз отвечает «error». Подрядчик говорит, машина капризничает. Я не программист, но я посмотрел, где она отказывает. Вот тут монету отдали, а потом снова пытаются ею заплатить. Вот тут на одну полку сразу двое кладут мешки. Это не каприз. Это моя Касса.

Программа хранилища написана на языке Rust. Машина, которая проверяет код до запуска, называется компилятором, а его часть, которая следит за значениями, называется проверкой заимствований. Счетовод прав: она проверяет почти ту же бухгалтерию, что новая Касса из прошлого урока. Почти, потому что одной карточки ей хватает, а одной не хватает. Сегодня разберёмся, какой.

Если ты не писал на Rust, ничего страшного: каждый фрагмент кода будет короткий и разобран построчно. Подробно язык разбирают уроки курса Rust про владение и заимствование.