Что такое система типов в Java

Java использует статическую, строгую и номинативную систему типов.

Статическая - проверка типов происходит во время компиляции.
Строгая - неявные преобразования между несовместимыми типами запрещены.
Номинативная - совместимость типов определяется их объявленными именами, а не структурой.

Пример:

int x = 10;
String s = "20";
// int sum = x + s; // Ошибка компиляции - несовместимые типы

Типы делятся на:

1. Примитивные (int, boolean и др.)
2. Ссылочные (классы, интерфейсы, массивы)
3. Параметризованные (Generics)

Java также поддерживает автоматическое приведение (autoboxing) между примитивами и их wrapper-классами (int ↔ Integer).