K0
Здравствуйте, а параметрический полиморфизм, это что? Это функция с генериками?
да
Size: a a a
2020 May 03
SS
Korvin 0x7CFE
да
Спасибо
SS
Korvin 0x7CFE
да
Оно же мономорфизация ?
K0
Мономорфизация это другое
K0
полиморфизм это свойство семантики языка и его системы типов
K0
а мономорфизация — способ диспетчеризации оного
SS
Ну вот, теперь еще гуглить, понимать что такое диспетчеризация
K0
иными словами: полиморфизм — это способ объявления сущности. а мономорфизация способ эффективной работы с ней
K0
если интересна эта область это нужно нырять в теории типов и компиляторов
SS
Спасибо, скорее всего я на примере кода и так все знаю. А вот на сленге или правильно сказать по официальным названиям - нифига не понятно)))))))
K0
главный совет: не пытаться читать русскую Википедию. умрешь с тоски
SS
Korvin 0x7CFE
главный совет: не пытаться читать русскую Википедию. умрешь с тоски
Уже 😂
K0
Спасибо, скорее всего я на примере кода и так все знаю. А вот на сленге или правильно сказать по официальным названиям - нифига не понятно)))))))
тогда это уже получается карго культ. смысл использовать термины если не понятна их суть?
SS
Просто блин, первые сслыки на мономорфизацию:
SS
Korvin 0x7CFE
тогда это уже получается карго культ. смысл использовать термины если не понятна их суть?
Я собираюсь не использовать термины, а хотя бы понимать докладчиков на ютюбчике
K0
а ну это другое дело :)
SS
Korvin 0x7CFE
иными словами: полиморфизм — это способ объявления сущности. а мономорфизация способ эффективной работы с ней
Ну вот предложение "Мономорфизация означает многократное копирование кода для разных типов данных, которые мы хотим хранить" Это ж генерики обычные. Не?
K0
это колхозное объяснение
SS
Хах
K0
смотри: исходный смысл всего этого в том чтобы можно было записать тип у функции не зная типов аргументов