I
Size: a a a
2020 October 02
Y
Самый ad-hoc'ный ad-hoc — это method overriding, конечно. При наследовании. 😃
Мне казалось, что subtyping polymorphism отделяют от ad-hoc. Но это вопрос определений
AT
Нет, мы хотим тайпклассы или трейты, как в Haskell/Scala/Rust
При наличии первоклассных модулей — не сильно критично, ИМХО...
FN
* Чего нетъ
– multicore 😕
– ad-hoc полиморфизм ☹️
– либы 😖
– multicore 😕
– ad-hoc полиморфизм ☹️
– либы 😖
ad hoc есть, есть виртуальные методы
Y
При наличии первоклассных модулей — не сильно критично, ИМХО...
Каждый раз явно передавать словарь стрёмно =\
Y
ad hoc есть, есть виртуальные методы
См. выше про вопрос определений
AT
Каждый раз явно передавать словарь стрёмно =\
Тоже слабенький аргумент, ИМХО. 🤷♀️
FN
См. выше про вопрос определений
ну ad hoc в большинстве языков реализуется так, так что странные у вас определения
Y
Тоже слабенький аргумент, ИМХО. 🤷♀️
Аргумент против чего?
AT
Аргумент против чего?
Аргумент за тайпклассы при наличии первоклассных модулей.
FN
> ну ad hoc в большинстве языков реализуется так
Поясните
Поясните
динамической диспетчеризацией по таблице методов объекта
что такое статический ad hoc?
что такое статический ad hoc?
Y
Аргумент за тайпклассы при наличии первоклассных модулей.
Ну ИМХО, всегда явно передавать в полиморфную функцию модуль, который однозначно определяется из типа «настоящего» аргумента – это как всегда явно указывать у значения тип, когда он легко может быть выведен
FN
динамической диспетчеризацией по таблице методов объекта
что такое статический ad hoc?
что такое статический ad hoc?
а, перегрузка функций
Y
динамической диспетчеризацией по таблице методов объекта
что такое статический ad hoc?
что такое статический ad hoc?
> что такое статический ad hoc?
ad-hoc, где реализация полиморфной функции выбирается при компиляции
ad-hoc, где реализация полиморфной функции выбирается при компиляции
FN
> что такое статический ad hoc?
ad-hoc, где реализация полиморфной функции выбирается при компиляции
ad-hoc, где реализация полиморфной функции выбирается при компиляции
в хаскиле разве есть такое?
Y
в хаскиле разве есть такое?
В хаскиле
show 1, show 3.14159 и show True задиспатчится при компиляции