Исправление eao197, (текущая версия) :
Ну а у этих господ вообще какой-то цирк вместо системы типов
Нет, просто мы с вами, скорее всего, не договорились об определениях.
Для меня строгая/сильная типизация — это невозможность выдать объект одного типа за объект другого типа. Вот пример слабой типизации: https://godbolt.org/g/0YNYq3 — здесь программист легко выдает указатель на A за указатель на B и никто ему по рукам не бьет.
Для вас — это отсутствие неявных преобразований типов.
Исходная версия eao197, :
Ну а у этих господ вообще какой-то цирк вместо системы типов
Нет, просто мы с вами, скорее всего, не договорились об определениях.
Для меня строгая/сильная типизация — это невозможность выдать объект одного типа за объект другого типа. Вот пример слабой типизации: https://godbolt.org/g/0YNYq3 — здесь программист легко выдает указать на A за указатель на B и никто ему по рукам не бьет.
Для вас — это отсутствие неявных преобразований типов.