Я получаю сообщение об ошибке, что Constraint не входит в область действия, когда я пытаюсь написать простой пример, {-# LANGUAGE UndecidableInstances, MultiParamTypeClasses, KindSignatures, Rank2Types,...

Мне не очень удается разобраться в основных принципах работы типов, включенных в пакет ad . Например, следующее работает отлично: import Numeric.AD ex :: Num a => [a] -> a ex [x, y] = x + 2*y > grad ex [1.0, 1.0] [1.0, 2.0] где...

Я пытаюсь создать список на уровне типов, но у меня возникли проблемы с выяснением того, как применять ограничения. Мой базовый код: data Foo z q = Foo1 (z q) | Foo2 (z q) class Qux q -- where ... class Baz z -- where ... class...

Могу написать следующее: {-# LANGUAGE RankNTypes #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ConstraintKinds #-} f :: Integral a => (forall b. Num b => b) -> a f = id И все хорошо....

Чтобы узнать, является ли тип типом более высокого типа, ghci предоставляет: Prelude> :k Maybe Maybe :: * -> * И попробовал тип класса, например: Prelude> :k Functor Functor :: (* -> *) -> Constraint Почему я могу...

Я хотел бы выразить Constraint по типам типа k -> k -> Type , что может быть сформулировано на английском языке как: Тип s такой, что для всех x x' , y и y' , где Coercible x x' и Coercible y y' , Coercible (s x y) (s x'...