Система ввода
Система ввода — в языках программирования набор правил, присваивающих свойство, называемое типом, различным конструкциям компьютерной программы, таким как переменные, выражения, функции или модули. Эти типы формализуют и закрепляют неявные категории, которые программист использует для алгебраических типов