type-constraints

1зной

1ответ

Инициализация неисправностей Вложенные генераторы

Я пытаюсь создать структуру класса, которая имеет один класс с общим типом (с ограничением типа), который используется как ограничение общего типа для другого универсального класса. Как только я попыт

swift generics swift3 type-constraints 2017-01-29

---

3зной

1ответ

Функция записи GADT не работает, когда деконструкция завершается успешно

Я пытаюсь обернуть голову вокруг GADT, и я подозреваю, что какая-то магия продолжается. Я не понимаю. Рассмотрим следующий пример: class C t data T a where T :: (C a) => { getT :: a } -> T a

haskell type-constraints gadt 2017-02-01

---

15зной

1ответ

Случай исчезающего ограничения: странности более высокого ранга

Все эксперименты, описанные ниже, были выполнены с помощью GHC 8.0.1. Этот вопрос является дополнением к RankNTypes with type aliases confusion. Проблема там сводилась к типам функций, как этот ... {-

haskell types type-constraints higher-rank-types 2016-10-26

---

10зной

1ответ

Резервное общее ограничение?

Рассмотрим следующий общий метод: public T2 Frob<T1, T2>(T1 item) where T1 : class, T2 => item as T2; компилятор откажется компилировать этот код; Параметр типа «T2» не может быть исполь

c# generics type-constraints 2017-02-13

---

0зной

2ответ

метод расширения по параметру перечислений должны быть ограничены на структуру

Я видел некоторый код https://stackoverflow.com/a/479417/1221410 Он предназначен принимать значение перечисления и получить описание. Соответствующая часть: public static string GetDescription<T>(this

c# enums type-constraints 2016-11-14

---