Oleg K
Это очень дискуссионный вопрос, и в публикациях в которых за критерий "сильной"/"слабой" типизации берется наличие преобразований все же говорится о coercion (использовании типа как другого), а не о conversion (создании нового значения == каст). В оригинальном определении от Liskov/Zilles про касты ничего нет.
К тому же, по такому определению практически любой язык является "слабо" типизированным, потому что хоть какие-то касты есть везде (например, в Питоне, который очень любят приводить в пример "сильно" типизированного языка по этому формальному критерию, есть приведение при сложении int и float)
> Это очень дискуссионный вопрос
Нет, это достаточно устоявшаяся терминология (насколько, что даже в наших вузах преподаётся именно так). Если не согласны, то правьте
вики и обсуждайте это там, а не здесь.
> например, в Питоне
Я не приводил в пример Питон. Хотите строгий язык — пишите на языках с HM (Rust, Haskell etc)
В любом случае, это оффтоп