Исходное сообщение
"Увидел свет язык программирования Julia 1.0" Отправлено freehck, 12-Авг-18 13:11
> Вы путаете динамическую типизацию и вывод типов. Я думаю, что и Вы тоже путаете вывод типов и необходимость указывать тип. > Вывод типов = статическая типизация. Строго говоря, это не совсем так. Это свойство просто обычно обсуждается в контексте строгой статической типизации. Другое дело, я понимаю, что если человек когда-либо видел, ну например, что-нибудь из семейства ML, то за вывод типов меньшее считать уже не хочется. Тем не менее, ну вот берёте Вы скриптовый язык типа php. И вот допустим Вы пишете `a=1` или `a="1"`. Он же определит, что `a` в первом случае имеет тип int, а во втором -- string. Это тоже ведь в некотором смысле вывод типов, как-никак. PS: Вон в Scala, говорят, тоже есть "вывод типов". Почитайте, в каком виде, посмеётесь. Тем не менее это -- вывод типов. ))