> -- Pimbom писал(а):
> Как можно охарактеризовать типизацию Oberon?
> -- Info21 писал(а):
> Статическая Сильная Явная
С учётом уточнения насчёт "сильной" или "строгой" -- допускаются некоторые неявные преобразования между типами (без потери данных). К примеру, языки ML-семейства "построже" (все преобразования должны быть явными, такое положение в некотором смысле является платой за возможность полноценного вывода типов).