AM
Дядь, там динамическая типизация, какие сум-типы
Динамическая типизация противоречит суммам типов? Для стат анализа и оптимизаций всё равно может быть полезно, не?
Size: a a a
2021 February 01
IP
Дядь, там динамическая типизация, какие сум-типы
если у тебя динамическая типизация, это не значит, что у тебя нет типов. просто ты всегда оперируешь суммой всех типов сразу
AM
если у тебя динамическая типизация, это не значит, что у тебя нет типов. просто ты всегда оперируешь суммой всех типов сразу
Кек, можно и с этой стороны подойти))))
VP
Динамическая типизация противоречит суммам типов? Для стат анализа и оптимизаций всё равно может быть полезно, не?
Конечно. Какие суммы могут быть, если у каждого значения при "компиляции" тип Any?
AM
Конечно. Какие суммы могут быть, если у каждого значения при "компиляции" тип Any?
А во время интерпретации? В котлине вон наружу суммы типов не торчат, но это ж не значит, что их нет 🌚
IP
Конечно. Какие суммы могут быть, если у каждого значения при "компиляции" тип Any?
Any = \sum_{i=1}^{N} T_i
VP
Any = \sum_{i=1}^{N} T_i
Это эльфийский?
IP
Это эльфийский?
тех
VP
А во время интерпретации? В котлине вон наружу суммы типов не торчат, но это ж не значит, что их нет 🌚
Так там статическая типизация же, там всё понятно
AM
В принципе сходится
I
Дядь, там динамическая типизация, какие сум-типы
В смысле, я точно видел типы
VP
В смысле, я точно видел типы
Покажи
ML
value типы в котлине уже все обсосали?
VP
А во время интерпретации? В котлине вон наружу суммы типов не торчат, но это ж не значит, что их нет 🌚
Во время интерпретации - это уже другая история, мы же про исходники говорим. А что там в рантайме вообще по барабану.
I
Покажи
VP
Погоди, это не похоже на динамическую типизацию
VP
Да у них даже сум типов нету в языке 😤
Ты это про какой язык писал?
I
Ты это про какой язык писал?
KernelFVP
KernelFВозникло недопонимание, я думал ты про тот список от Ильмира
AM
value типы в котлине уже все обсосали?
Не, даже не начинали, я ток ссылку в котлин чате видел