Понимание строгой типизации в языках программирования