I
Подход джавы - одна версия кода для всех типов
Подожи, в java же наоборот
Size: a a a
2020 June 17
AK
Давайте генерики в го пообсуждаем
Генерики в го - это как теория заговора, кто-то говорит что они есть (в разработке) или будут, но никто ни разу не встречал за 10 лет.
I
Мономорфизация (англ. monomorphizing) представляет собой технику оптимизирующей компиляции параметрического полиморфизма, которая заключается в порождении мономорфного экземпляра для каждого случая использования полиморфной функции или типа. Другими словами, параметрический полиморфизм на уровне исходного кода транслируется в ad hoc полиморфизм на уровне целевой платформы. Мономорфизация повышает быстродействие (точнее, делает полиморфизм «бесплатным»), но вместе с тем может увеличивать размер выходного машинного кода.[92]
I
Мономорфизация (англ. monomorphizing) представляет собой технику оптимизирующей компиляции параметрического полиморфизма, которая заключается в порождении мономорфного экземпляра для каждого случая использования полиморфной функции или типа. Другими словами, параметрический полиморфизм на уровне исходного кода транслируется в ad hoc полиморфизм на уровне целевой платформы. Мономорфизация повышает быстродействие (точнее, делает полиморфизм «бесплатным»), но вместе с тем может увеличивать размер выходного машинного кода.[92]
Блять, тут как с параметрами/аргументами. Всегда путаю, что есть что.
I
Для функций - да. Для типов - нет.
Наоборот
I
Наоборот
А как это для функций тогда будет работать? Если у типов разные размеры?
I
А как это для функций тогда будет работать? Если у типов разные размеры?
Через интерфейс
I
Через интерфейс
Ну те дополнительные метаданные передвать будут?
I
То есть по сути через указатель на конкретный тип
I
Ну те дополнительные метаданные передвать будут?
Они и так и так будут, для рефлексии.
I
По моему похожий подход в swift юзают
AK
падажжи... у них там транспайлер что ли лежит уже?
https://go.googlesource.com/go/+/refs/heads/dev.go2go/README.go2go.md
https://go.googlesource.com/go/+/refs/heads/dev.go2go/README.go2go.md
I
По моему похожий подход в swift юзают
Тут я не знаю. Надо почитать что-то типа спеки или пропоузала для свифта.
D
Я скоро психану и банить перманентно начну
Ты прям первый по репосту всекого дермища в чат
Ты прям первый по репосту всекого дермища в чат
Бань. 🤷♀
VP
Генерики в го - это как теория заговора, кто-то говорит что они есть (в разработке) или будут, но никто ни разу не встречал за 10 лет.
А значит, они не нужны и их не доделают. Было бы иначе - бросили бы все силы, а так выглядит как какое-то левое R&D.
Всё верно?
Всё верно?
AM
Генерики в го - это как теория заговора, кто-то говорит что они есть (в разработке) или будут, но никто ни разу не встречал за 10 лет.
Та вроде даже какая-то веб-демка уже была
AM
Где видел -- не найду, впадлу
IO
Та вроде даже какая-то веб-демка уже была
runtime.Object в kubernetes :)
AK
А значит, они не нужны и их не доделают. Было бы иначе - бросили бы все силы, а так выглядит как какое-то левое R&D.
Всё верно?
Всё верно?
Выглядит как победа одной из сторон, с самого начала появления гошки шёл спор о генериках, и адепты минимализма отбивались, но где-то в 2018, принято было решение, что генерики таки нужны. И что мы видим, спустя 2 года - нам показывают прототип. А лум не нужен, да, всё так - 10 лет уже прошло, а дошли только до беты. На генерики были брошены силы, на лум - нет.
чуешь разницу? 2 года и 10 лет
чуешь разницу? 2 года и 10 лет
VP
Выглядит как победа одной из сторон, с самого начала появления гошки шёл спор о генериках, и адепты минимализма отбивались, но где-то в 2018, принято было решение, что генерики таки нужны. И что мы видим, спустя 2 года - нам показывают прототип. А лум не нужен, да, всё так - 10 лет уже прошло, а дошли только до беты. На генерики были брошены силы, на лум - нет.
чуешь разницу? 2 года и 10 лет
чуешь разницу? 2 года и 10 лет
Так всё то же самое, только там не было споров, а просто забивали