type checking

Контроль (відповідності) типів