Ключевое слово "ничто"

Ключевое слово ничто можно использовать в качестве типа возвращаемого значения метода, если этот метод ничего не возвращает. Ничто никак не изменяет код семантически и используется только для удобства чтения кода, так как позволяет сохранить структурное единообразие кода при типизации. Таким образом, использование ничто равносильно отсутствию указания типа возвращаемого значения, и, например, следующие сигнатуры методов равносильны:

метод Выбрать(м: Массив<Товар>, ч: Число): ничто
метод Выбрать(м: Массив<Товар>, ч: Число)

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

Функциональные типы

В функциональных типах, если тип ничего не возвращает, указание ничто является обязательным. Если функциональный тип что-то возвращает, но результат мы в данном случае не используем, то мы можем передать значение этого типа в тип, у которого те же параметры, но который возвращает ничто. Таким образом, любые значения функционального типа (ТипПараметра_1, ..., ТипПараметра_n)->ТипРезультата можно присвоить в (ТипПараметра_1, ..., ТипПараметра_n)->ничто, например значения типов (Студент, Число)->Число, (Студент, Число)->Строка, (Студент, Число)->Булево и т. д. можно присвоить в (Студент, Число)->ничто.