monomorphism-restriction

5зной

1ответ

преобразователи в Haskell и ограничение -мономорфизм

I реализованы датчики в Haskell следующим образом: {-# LANGUAGE RankNTypes #-} import Prelude hiding (foldr) import Data.Foldable type Reducer b a = a -> b -> b type Transducer a b = forall t. R

haskell higher-rank-types transducer monomorphism-restriction 2015-01-11

---

1зной

1ответ

Список экзистенциально ОПРЕДЕЛЕННЫХ КОЛИЧЕСТВЕННЫХ Конструкторы

У меня есть следующие типы данных: {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE ExtendedDefaultRules #-} class ToString a where data M = forall a. (ToString a) => B a В GHCI я могу с

haskell ghci monomorphism-restriction 2016-09-07

---

9зной

1ответ

Почему Haskell указывает, что бесплатная версия функции приводит к ошибке неоднозначного типа?

Оказывается, что в GHC 7.10, это нормально компилируется: mysum xs = foldr (+) 0 xs Но это: mysum = foldr (+) 0 приводит к следующей ошибке: No instance for (Foldable t0) arising from a use of ‘fo

function haskell types monomorphism-restriction 2015-05-12

---

0зной

1ответ

Смешение типов в GHCI

Вот мой код: n = [(a,b) | a <- [1..5],b <- [1..5]] calcBmis xs = [bmi | (w, h) <- xs,let bmi = w/h^2] При попытке применить calcBmis к n, я получаю следующее сообщение об ошибке: *Charana> calcBmis

haskell functional-programming monomorphism-restriction 2015-10-10

---