Что такое "связывание переменных"?
От: Эйнсток Файр Мухосранск  
Дата: 29.11.21 09:03
Оценка: :))

питон широко использует динамическое связывание переменных, которое никуда не девается в откомпилированном коде

https://habr.com/ru/post/481782/

Правильно ли я понимаю, что тип переменной хранится в рантайме рядом с самой переменной, и используется для выбора одной из функций из нескольких одинаковых по назначению, отличающихся только типами (размерами) аргументов?

«A binding is the association of a variable name with the variable entity, for example " x refers to the variable declared with class x "»
https://stackoverflow.com/questions/50898687/is-a-variable-declaration-the-same-as-a-variables-binding

Ещё мне непонятно, зачем нужно ключевое слово var в C#. Да, исторические причины, привычки, то-сё.
Но если проектировать синтаксис языка начисто, то:
во-первых, тип переменных заранее объявлять не нужно (он выводится);
во-вторых, тип переменной можно сделать зависимым от контекста,
для того чтобы можно было в двух последовательных строчках написать:
data=1; // целое
data="lala"; // строка

Язык при этом останется типизированным, потому что
компилятор будут генерировать разный код в зависимости от типа переменной в месте использования.

Рантайм не будет хранить тип переменной, потому что об этом будет заботится компилятор.

Что со мной не так?
типизация компиляция оверхед
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.