NR
Что это значит
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 01
NR
Приведи пример случая когда они есть и случая когда их нет.
AG
то что из рантайма пришло, конечно вычисляется первый раз, идея в том чтобы дальше это тащить уже типизированным и не делать избыточных проверок
AC
Там не "check", а просто "dispatch". Указатель на vtable можно называть "рантайм представлением типа", но это такое. Принципиально мы можем составлять vtables, которые не относятся ни к какому конкретному типу.
gо
я ждал этой поправки
AB
В исполняемых прогах всегда все понятия определены! )
NR
Ясно
gо
но тогда в динамике это тоже просто диспатч
питоновский
питоновский
"a" + "b" просто достаёт из "a" аттрибут __class__, из __class__ аттрибут __add__ и вызывает его на "a" и "b"AC
Вы же сами начали с упоминания этого различия.
AB
А у плохих философов ничего не определено. )
gо
любую проверку можно выразить в терминах диспатчинга (потому что проверка это условный переход на адрес → диспатч)
NR
Неправда. Всё определено вообще всегда, ведь всё "исполняется"
AB
А любая проверка это в итоге предикат
gо
je диспатчит между следующей инструкцией и своим аргументомПС
это что, референс к дядюшке Бобу и его "все ифы нужно заменять на диндиспатч"?))
gо
нет, я заявляю, что все ифы это уже диндиспатч
gо
можно не заменять, к чему лишняя работа
AC
Тут два момента (или три).
1. Кажется, в Питоне логика этого процесса немного сложнее. 😁
2. "Runtime types" в Питоне (и многих других) содержат сильно больше информации, чем просто vtable.
3. Там не бывает vtables в отрыве от типов.
1. Кажется, в Питоне логика этого процесса немного сложнее. 😁
2. "Runtime types" в Питоне (и многих других) содержат сильно больше информации, чем просто vtable.
3. Там не бывает vtables в отрыве от типов.
AB
Да пофиг, что в конкретных языках бывает или не бывает. )