Вопросы по теме '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 просмотров
schedule
17.07.2023
Компилятор не распознает перегрузку функций, потому что типы стираются. Как это преодолеть?
У меня проблема в том, что два метода с именем 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 просмотров
schedule
17.06.2022
Есть ли в Haskell способ автоматического запоминания глобальных полиморфных значений?
Полиморфные «константы», такие как 5 :: Num a => a , на самом деле не константы, а функции аргумента словаря. Следовательно, если вы определяете
primes :: Num n => [n]
primes = ...
Плохой пример, конечно, здесь нет веской причины...
263 просмотров
schedule
30.03.2023
Динамический полиморфизм с параметризованными методами
Я хочу иметь четкое представление о динамическом полиморфизме. Когда методы в дочернем классе переопределены и перегружены, я не могу понять вызовы методов.
Вот родительский класс:
Родительский класс:
public class Parent {
void...
86 просмотров
schedule
30.05.2024
Могу ли я ограничить параметрический полиморфный тип в конструкторе типа/данных в Haskell?
У меня есть параметризованный тип, который я хотел бы ограничить числовым типом, точнее Fractional , например:
data Rating a = (Fractional a) => Score a | Unscored deriving (Show, Eq)
так что пользователь API может определить, какой...
249 просмотров
schedule
03.07.2022
Haskell: аргумент, не зависящий от типа, в ограничении
Я создал несколько функций, чтобы получить некоторое удобство при работе с 2D-геометрией. В этом примере я использую Geom2D из пакета CubicBezier .
Полный код моей программы: https://gist.github.com/nskeip/3784d651ac646a67c5f246f048949af4...
1044 просмотров
schedule
01.04.2023
Как использовать универсальный класс без аргумента типа в Swift?
Я хочу инкапсулировать универсальный объект в другой класс, без установки аргумента универсального типа. Я создал базовый класс Animal<T> и определил от него другие подклассы. Пример:
public class Animal<T: YummyObject> {...
3326 просмотров
schedule
09.07.2023
Как вообще перебирать свойства произвольного объекта в TypeScript?
Это довольно распространенный шаблон JavaScript:
function mapThruWrapper(module) {
const replacement = {}
Object.getOwnPropertyNames(module).forEach(function(key) {
const val = module[key]
if (val instanceof Function) {...
160 просмотров
schedule
30.07.2022