Kiểm tra kiểu mạnh