Исходное сообщение
"Увидел свет язык программирования Julia 1.0" Отправлено Blind Vic, 10-Авг-18 10:49
> Names have no types... Because variables have no types... Я считаю, что это для более легкого понимания так написали. https://en.wikipedia.org/wiki/Variable_(computer_science) > In computer programming, a variable ... is a storage location (identified by a memory address) paired with an associated symbolic name (an identifier), which contains some known or unknown quantity of information referred to as a value. The variable name is the usual way to reference the stored value, in addition to referring to the variable itself, depending on the context. a = 1 На низком уровне идентификатор `a` привязан к адресу в памяти, к-й содержит указатель на некий объект класса `int`. И так со всеми переменными. Т.е. все переменные являются указателями -- имеют тип, причем один и тот же на протяжении их жизни. Что, по сути, является признаком статической типизации, если придраться. Если же рассуждать, что тип переменной это указатель and/or тип объекта, на который указатель ссылается, то тоже нельзя говорить, что имена/переменные не имеют типов.