Python

01 June 2026 00:07

условно ничего мне не мешает сделать интерпретируемый язык а-ля питон, где к переменной можно прикрепить тип и реализация метода берется из него. В отличие от питона, где тип лежит среди данных

Python

01 June 2026 00:06

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

Python

01 June 2026 00:05

ну вот я про то что есть классы языков, которые номинальный тип трактуют как поставщик реализации методов, а "тип объекта" не существует по факту

Python

01 June 2026 00:04

Ну может быть у меня такое отношение из-за языков на которых я вырос. Я привык что номинальный тип это просто тип с которым мы работаем в коде, а не реальный тип объекта в этом коде

Python

01 June 2026 00:03

Нет, если у тебя Animal a = new Cat(); a.makeSound() очевидно ты не будешь выбирать именно реализацию из Animal, там будет сделан динамический вызов в большинстве языков в нормальных условиях

Python

01 June 2026 00:02

невиртуальные методы в плюсах, например

Python

01 June 2026 00:01

условно, если написано что x имеет тип A, разве это не означает что x.foo это A::foo при номинальной типизации?

Python

01 June 2026 00:01

Ну смотри, если мы тип объекта определяем номинальным образом, это разве не значит что мы реализацию так выбираем?

Python

01 June 2026 00:00

откуда взялся этап компиляции если мы говорим о типизации

Python

31 May 2026 23:59

хз что такое раннее связывание правда в терминах обсуждения

Python

31 May 2026 23:58

Номинальная есть чуть ли не везде

Python

31 May 2026 23:58

я в целом затеял разговор именно про номинальную, а ты влез что её не существует, а теперь говоришь что она в маргинальных языках. Если тебе не интересно её обсуждать, не надо превращать дискуссию в балаган

Python

31 May 2026 23:57

/ban offtopic, ищет какие-то уязвимости

Python

31 May 2026 23:57

Можно мне пообщаться в вашем личном кабинете, чтобы было удобнее?

Python

31 May 2026 23:56

Ну это старый язык и в каком-то смысле маргинальный

Python

01 June 2026 00:06

ранее связывание это когда у тебя есть компиляция и связывание, а в терминах работы с типами это вообще какие-то непонятные детали реализации

Python

01 June 2026 00:06

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

Python

01 June 2026 00:04

То есть реализация вообще никак не зависит от номинального типа, он по факту просто нарисован

Python

01 June 2026 00:03

не очевидно, если мы говорим про номинальные типы

Python

01 June 2026 00:02

Или там в расте в части случаев (если не использовать dyn trait, если не путаю ничего)

Python

01 June 2026 00:02

В си, в плюсах, в шарпе для методов определенных с ключевым словом new

Python

01 June 2026 00:01

Погоди, а в каких языках реализация выбирается на этапе компиляции? Это же наглухо ломает полиморфизм

Python

01 June 2026 00:00

Ну выбор реализации с номинальной типизацией не связан

Python

31 May 2026 23:59

Когда реализация выбрана на этапе компиляции, а не в момент вызова метода

Python

31 May 2026 23:59

"ранее связывание" - вещь, которую номинальная типизация допускает

Python

31 May 2026 23:58

В плане, я говорю что раннее связывание есть в маргинальных языках

Python

31 May 2026 23:57

Пока-пока!
Заблокировала steve neloxa.
Причина:
offtopic, ищет какие-то уязвимости

Python

31 May 2026 23:57

Зависит от сферы использования

Python

31 May 2026 23:56

ну если язык из топ 5 по поулярности - маргинальный, окей

Python

31 May 2026 23:56

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