m
Roman Blog
нет, не в этом дело. жвм нужно компилировать, но она и сама компилятор. Поэтому ничего бы не изменило
Сложна
Size: a a a
2021 March 03
MS
Roman Blog
ну почему же. Есть вполне чётка градация что является С++, а что нет. Ну по крайней мере у меня и среди тех, кто этим занимается. Основной критерий - это какой у тебя полиморфизм
Ну, а какой полиморфизм по-настоящему шотландский?
RB
Ну, а какой полиморфизм по-настоящему шотландский?
Ну на самом деле он один единственный и есть только в С++, ну может там ещё какой-то огрызок есть в языках с завтипами. Ну или проще - статический. Есть полиморфизм динамический - это всё то, что принято называть полиморфизмом
RB
т.е. полиморфизм это отображение. Множество входящих типов во множество исходящих(ну мы предполагаем, что там разная реализация, которая как максимум генерирует разные типы). Есть то, что принято называть полиморфизмом, но оно не обладает этим свойством. Это просто жава-интерфейсы
MS
Кстати полиморфизм может быть только в коде, написанном в шотландской провинции Полиморф Волли. Во всех остальных случаях это игристый статический диспатч. 🤣
RB
мы описываем интерфейс, а далее используем его для полиморфной логики. По-сути мы сводим множество типов к одному подтипу и на самом деле эта маня-полиморфная функция не полиморфная, а мономорфная, но уже от подтипа
MS
Чем тогда динамическая диспетчеризация не полиморфизм?
MD
Полиморфизм это условие
MS
Roman Blog
мы описываем интерфейс, а далее используем его для полиморфной логики. По-сути мы сводим множество типов к одному подтипу и на самом деле эта маня-полиморфная функция не полиморфная, а мономорфная, но уже от подтипа
Это ты описываешь мономорфизацию.
RB
Кстати полиморфизм может быть только в коде, написанном в шотландской провинции Полиморф Волли. Во всех остальных случаях это игристый статический диспатч. 🤣
ну статический дисптч - это не свойство системы типов. И не свойство типа полиморфизм. Его можно сделать где угодно. На этом раст-адепты часто горят.
RB
Это ты описываешь мономорфизацию.
нет, монорфизация - это другое. В случае с динамическим полиморфизмом - он сам по себе уже мономорфен и ему ненужна монорфизация. Но монорфизация основное требование для статического языка. Статический язык не может быть иметь другого полиморфизма, кроме как статического.
MS
Roman Blog
ну статический дисптч - это не свойство системы типов. И не свойство типа полиморфизм. Его можно сделать где угодно. На этом раст-адепты часто горят.
На чём.
RB
На чём.
У них язык и система типов динамически-полиморфна. Но т.к. подобная система типов и язык не может быть статическим, а ллвм статический, то пришлось делать монорфизацию.
RB
т.е. лепить один вид полиморфизма поверх другого
RB
и это та причина, почему тормозит жава. И почему языку с подобным видом полиморфизма нужен гц. И почему в том же расте, да и где угодно - рядом с dyn всегда идёт box
MS
Roman Blog
У них язык и система типов динамически-полиморфна. Но т.к. подобная система типов и язык не может быть статическим, а ллвм статический, то пришлось делать монорфизацию.
Что? Нет.
RB
Что? Нет.
да, есть возражения какие-то?
m
Roman Blog
ну статический дисптч - это не свойство системы типов. И не свойство типа полиморфизм. Его можно сделать где угодно. На этом раст-адепты часто горят.
У них есть ковровая мономорфизация
MS
Если ты не используешь трейтобжекты — то у тебя честный статический полиморфизм. С генерацией отдельной функции на каждый набор типов.
RB
Roman Blog
и это та причина, почему тормозит жава. И почему языку с подобным видом полиморфизма нужен гц. И почему в том же расте, да и где угодно - рядом с dyn всегда идёт box
Поэтому в динамически-полиморфных языках и нужен гц. И хейтите вы все не гц, а именно что динамический полиморфизм. Ведь именно он тормозит.