Существует 2 разных вида типизации, которые часто путают:
- статическая - типы известны на стадии компиляции
динамическая - выводятся\проверяются в рантайме
- слабая - в операциях присутствует неявный каст типов
сильная - отсутствует неявный каст типов и их нужно приводить вручную