parametric-polymorphism

4зной

1ответ

Применение функции, передаваемой как аргумент для разных типов в Haskell

Есть ли способ применить функцию, переданную в качестве аргумента для двух разных типов? Как надуманный пример, я могу создать (Maybe Int, Maybe Bool) с выражением (Just 3, Just True), но если я пытаю

haskell parametric-polymorphism 2016-02-05

---

9зной

2ответ

хороший способ конвертировать между ad-hoc полиморфными функциями и параметрическими полиморфными

Мне интересно, существуют ли общие способы преобразования между временными полиморфными функциями и параметрическими полиморфными. Иными словами, с учетом специальной полиморфной функции, как реализов

haskell reflection parametric-polymorphism adhoc-polymorphism 2016-07-12

---

1зной

2ответ

Могу ли я ограничить параметрический полиморфный тип конструктора типов/данных в Haskell?

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

haskell types api-design parametric-polymorphism 2016-02-23

---

0зной

1ответ

Произвольное стек монада трансформатор типа переменной

Рассмотрим следующий фрагмент кода import Control.Monad.Trans import Control.Monad.Trans.Except import Control.Monad.Trans.State newtype MyTransT m a = MyTransT (m a) foo :: (MonadTrans t, Monad

haskell monads monad-transformers parametric-polymorphism 2016-07-26

---

3зной

2ответ

Полиморфные значения в Java

Я изучаю Haskell и натолкнулся Полиморфные значения. Это значения, которые имеют различный тип в зависимости от контекста. Например, Nothing имеет тип Maybe a или [] имеет тип [a]. Таким образом, [] -

java haskell types polymorphism parametric-polymorphism 2016-01-19

---

10зной

2ответ

Почему C++ говорит, что он не поддерживает параметрический полиморфизм?

Согласно странице Википедии для Parametric Polymorphism: Некоторые реализации типа полиморфизма внешне похож на параметрический полиморфизм, а также введение специальных аспектов. Одним из примеров яв

c++ parametric-polymorphism 2016-04-29

---

0зной

1ответ

Java ClassCastException, берущий ParameterizedType E из общего экземпляра "new ClazzXXX <E>()"

Ниже я вставил пример, который я хотел бы запустить. Я могу легко получить общий класс экземпляра StringHome, который расширяет Home<String>, но я не могу сделать то же самое с экземпляром new Home<St

java class generics generic-programming parametric-polymorphism 2016-07-01

---