Явная и неявная типизация языков программирования