Исходное сообщение
"Увидел свет язык программирования Julia 1.0" Отправлено freehck, 11-Авг-18 13:10
>> Names have no types... Because variables have no types... > Я считаю, что это для более легкого понимания так написали. Сильно зависит от того, что понималось под 'variable' в том контексте. > На низком уровне идентификатор `a` привязан к адресу в памяти, к-й содержит > указатель на некий объект класса `int`. И так со всеми переменными. Да, Вы правы, что все имена связываются с участками памяти через указатели. Разница лишь в том, когда происходит разыменование имени в указатель. В компилируемых языках зачастую разыменование происходит на этапе компиляции, и когда Вы, например, собрали программку на C, ей для выполнения уже и не нужно знать, что данная область памяти была в исходном коде связана с неким именем `a`. Правда, можно сохранять эти имена (их называют дебаг-символами) для отладочных нужд. В интерпретируемых языках эти имена придётся сохранять в любом случае. > Т.е. все переменные являются указателями -- имеют тип, причем один и > тот же на протяжении их жизни. Что, по сути, является признаком > статической типизации, если придраться. Да, разница между статической и динамической типизациями заключена как раз в том, может ли связывание имени и типа меняться вместе с контекстом выполнения.