Вопросы по теме 'parametric-polymorphism'

Борьба с параметрическим полиморфизмом
В дополнение к реализации Bag & List для задания следующим шагом является создание упорядоченной версии. Требуется указать параметрический интерфейс OrderedCollection с правильными параметрами типа и ограничениями. Моя проблема с реализацией....
535 просмотров
schedule 21.06.2023

Сортировочно-параметрические функции-обертки
Предполагая использование нескольких встроенных и определяемых пользователем сортировок Z3, например. Int, Bool, S1, S2, ..., есть ли способ написать общую функцию сортировки и распаковки, которая выполняет преобразование из сортировки A в сортировку...
170 просмотров
schedule 01.12.2022

Java: полиморфный возвращаемый тип в абстрактном методе?
У меня есть следующий код в абстрактном классе Java: protected abstract <E extends HasText & IsWidget> E createNewDisplayWidget(); Который компилируется нормально. Однако, если я вызову его где угодно, компилятор жалуется:...
2367 просмотров
schedule 22.04.2022

Моделирование бинарной связи между двумя типами
Есть предприятия и люди. Пользователи могут поставить лайк или оставить комментарий о компании, но то же самое не может произойти с человеком. Когда пользователь публикует что-то о бизнесе или ставит ему лайк, этот бизнес называется target этого...
224 просмотров

Компилятор не распознает перегрузку функций, потому что типы стираются. Как это преодолеть?
У меня проблема в том, что два метода с именем fooSome в приведенном ниже коде не компилируются, поскольку компилятор сообщает о проблеме с повторяющимися именами методов: class Foo() { // variable block has 2 closure variables def...
188 просмотров
schedule 06.09.2023

Почему коллекции TypeToken считаются безопасными для типов? (Эффективная Java № 29)
Пункт № 29 в Effective Java представляет способ реализации гетерогенных коллекций с типобезопасностью, который в основном сводится к чему-то вроде этого : public Class HeterogeneousContainer { private Map<Class<?>, Object>...
300 просмотров

Есть ли в Haskell способ автоматического запоминания глобальных полиморфных значений?
Полиморфные «константы», такие как 5 :: Num a => a , на самом деле не константы, а функции аргумента словаря. Следовательно, если вы определяете primes :: Num n => [n] primes = ... Плохой пример, конечно, здесь нет веской причины...
263 просмотров

Динамический полиморфизм с параметризованными методами
Я хочу иметь четкое представление о динамическом полиморфизме. Когда методы в дочернем классе переопределены и перегружены, я не могу понять вызовы методов. Вот родительский класс: Родительский класс: public class Parent { void...
86 просмотров

Могу ли я ограничить параметрический полиморфный тип в конструкторе типа/данных в Haskell?
У меня есть параметризованный тип, который я хотел бы ограничить числовым типом, точнее Fractional , например: data Rating a = (Fractional a) => Score a | Unscored deriving (Show, Eq) так что пользователь API может определить, какой...
249 просмотров

Haskell: аргумент, не зависящий от типа, в ограничении
Я создал несколько функций, чтобы получить некоторое удобство при работе с 2D-геометрией. В этом примере я использую Geom2D из пакета CubicBezier . Полный код моей программы: https://gist.github.com/nskeip/3784d651ac646a67c5f246f048949af4...
1044 просмотров

Как использовать универсальный класс без аргумента типа в Swift?
Я хочу инкапсулировать универсальный объект в другой класс, без установки аргумента универсального типа. Я создал базовый класс Animal<T> и определил от него другие подклассы. Пример: public class Animal<T: YummyObject> {...
3326 просмотров

Как вообще перебирать свойства произвольного объекта в TypeScript?
Это довольно распространенный шаблон JavaScript: function mapThruWrapper(module) { const replacement = {} Object.getOwnPropertyNames(module).forEach(function(key) { const val = module[key] if (val instanceof Function) {...
160 просмотров