Е
Впрочем это не относится к обсуждаемому вопросу.
Size: a a a
2021 May 18
Е
Мне не интересно обсуждать терминологию.
LL
LL
LL
It contrasts ... duck typing, in which only the part of the structure accessed at runtime is checked for compatibility.
Е
Ерунда. Это не обязательно
LL
Извини, чувак, но я (да и почти кто угодно тут) в вопросах терминологии википедию считаю более авторитетной, чем тебя
Е
По мне так этот
structural type system придумали какие-то меньшинства, кроме английского и французского нигде нет.Aß
а может ты перестанешь понимать все, как удобно тебе, и начнешь использовать общепринятую терминологию?
Е
Я не уверен, что стоит считать статью википедии, которая существует всего на двух языках авторитетной.
Е
По моему это область холиворов.
Е
Е
Смехота
LL
Да, они похожи, но это разные вещи
Утиная типизация работает в рантайме и если в коде написано
Структурная типизация допускает, что если есть тип
то код
Основная разница тут в динамичности и статичности. В утиной типизации метод
Утиная типизация работает в рантайме и если в коде написано
a + b, то он сработает когда есть метод a.add(b)Структурная типизация допускает, что если есть тип
@type a :: %{x: x()} и тип @type b :: %{x: x(), y: y()},то код
something.x скомпилируется и для a и для bОсновная разница тут в динамичности и статичности. В утиной типизации метод
a.add может появиться в рантаймеLL
Статья про
duck typing есть на большем количестве языков и там тоже указана разница с structural typingЕ
А это тогда какая типизация?
https://run.dlang.io/is/TYeIKj
https://run.dlang.io/is/TYeIKj
LL
А я и не знаю этот язык
Мне вообще кажется интересным как в
Видимо в рантайме ставится какой-то тег
Мне вообще кажется интересным как в
receive отличить char и int8, которые вообще одного размераВидимо в рантайме ставится какой-то тег
ŹR
Если ты напишешь writeln(t.y) и не скомпилируется - то структурная
Е
Я фактически написал вот это:
> Структурная типизация допускает, что если есть тип
> то код
> Структурная типизация допускает, что если есть тип
@type a :: %{x: x()} и тип @type b :: %{x: x(), y: y()},> то код
something.x скомпилируется и для a и для bŹR
А если упадёт в рантайме - утиная