typeclass

1зной

1ответ

Matching Ожидаемый тип с фактическим типом

То, что я сейчас пытаюсь сделать, это создать тип, который называется Value: data Value = Num Int | Sum Int Int | Dif Int Int | Neg Int deriving (Eq) , с которым я хочу

2зной

1ответ

Пример экземпляра класса с более ограничительной сигнатурой

Предположим, что я пишу тип данных для представления координаты в декартовой системе координат. Я хотел бы определить функции этого типа данных и использовать проверку типа Haskell для предотвращения

0зной

3ответ

типа Установка дробных к Мнимая

Может кто-то пожалуйста, объясните, почему это компилируется Prelude> 1 :: Num a => a и это не Prelude> 1.0 :: Num a => a Второй пример будет работать с Fractional, но Num является суперкласс Frac

1зной

1ответ

Заблуждения при использовании `=>` оператора?

У меня есть базовый класс типов: class MyClass a where (-+) :: a -> a -> a instance MyClass Int where e1 -+ e2 = e1 + e2 * 100 myFunction :: MyClass a => a -> a -> a myFunction e1 e2 =

3зной

1ответ

Infer ограничения семейств типа с ограничениями аргументов

У меня есть куча сложных функций уровня типа, оценивающих на такие вещи, как: (If (EqNat n 2) 1 (If (EqNat n 1) 2 (If (EqNat n 0) 3 0))) Теперь, очевидно, в данном случае это выр

4зной

3ответ

Как можно разблокировать экземпляры на самом деле повесить компилятор?

К тому времени, когда я впервые прочитал серьезный criticism on -XUndecidableInstances, я уже полностью привык к этому, рассматривая его как просто удаление раздражающего ограничения. Haskell98 должен

3зной

1ответ

Ограничения типа функции

Как правило, предпочтительнее иметь строгое или нечеткое определение типа для функции? Каковы плюсы и минусы каждого подхода? Я обнаружил, что, когда я переписал my pearson correlation code, используя