higher-rank-types

4зной

1ответ

Предположим, что у нас есть конструктор типа f, который принимает два типа с помощью пары, созданной DataKinds. forall (f :: (ka, kb) -> *) Затем я могу реализовать функцию forward, которая подобна

15зной

1ответ

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

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

11зной

2ответ

Как называется этот функтор, который использует RankNTypes?

Во время игры около objective package, я заметил, что следующий тип имеет интересное свойство. > {-# LANGUAGE RankNTypes #-} > data N f r = N { unN :: forall x. f x -> (x, r) } Это Functor. > insta

0зной

1ответ

Не удалось вывести (класс типов а0), вытекающее из использования «переменной»

У меня есть тип: type DifferentiableFunction n a = (Function n a, List n (Function n a), String) В другом месте я определяю: data Something where Operator :: Something -> (forall a . Floating a

6зной

1ответ

Как непроизвольно вернуть «Может быть» объектив?

Тип типа Maybe (Lens' a b) не работает, потому что Lens' находится под капотом типа Rank-2, который нельзя обернуть в конструктор типа без расширения -XImpredicativeTypes (что на самом деле не поддерж

9зной

2ответ

Почему более ранние типы настолько хрупкие в Haskell

Я был возился с функцией runST. Который имеет тип (forall s. ST s a) -> a, и кажется, что пытаюсь использовать его любым способом, который не применяется непосредственно без какого-либо косвенного обр