higher-rank-types

3熱

1答えて

RankN型の別名混乱のタイプ

型の制約が型エイリアスでどのように機能するかを理解しようとしています。 type NumList a = Num a => [a] そして、私は次の機能があります： addFirst :: a -> NumList a -> NumList addFirst x (y:_) = x + y この関数は、次のエラーで失敗します。 Type.hs:9:13: error: • No

haskell types functional-programming higher-rank-types 2016-10-26

---

4熱

1答えて

forallの量指定子を 'uncurry'することは可能ですか？

DataKinds-promoteed pairを使用して2つの型を取る型コンストラクタfがあるとします。 forall (f :: (ka, kb) -> *) それからforall数量詞のためcurry似ている機能forwardを実現することができる： forward :: forall (f :: (ka, kb) -> *). (forall (ab :: (ka, kb

haskell currying type-level-computation data-kinds higher-rank-types 2016-09-06

---

28熱

2答えて

Rank2Typesを使ってRankNTypesを使う利点はありますか？

私が知る限り、ランク2型のための決定可能な型チェックアルゴリズムが存在します。 GHCはこの事実を何らかの形で利用していますか？それには実用的な意味がありますか？ ランク2型と型推論アルゴリズムのプリンシパル型の概念もありますか？はいの場合、GHCはそれを使用しますか？ 階数2以上の他の利点はありますか？nの種類はありますか？

haskell ghc type-inference higher-rank-types 2013-02-22

---

15熱

1答えて

消える拘束の場合：上位ランクの奇数

GHC 8.0.1を使用してすべての実験を行いました。 この質問は、RankNTypes with type aliases confusionのフォローアップです。問題はそこに... ...このような機能の種類に型チェッカーによって拒否され {-# LANGUAGE RankNTypes #-} sleight1 :: a -> (Num a => [a]) -> a sleight1 x

haskell types type-constraints higher-rank-types 2016-10-26

---

5熱

1答えて

RankNTypesとChurch numbers

ハスケルで教会の数字を勉強しようとしています。自然数がnという数字は基本的に次のタイプの関数を値に適用する式ですタイプtはn回です。考えと type Nat = forall t. (t -> t) -> t -> t 、私は次の方法でzero、successor、plus、multを定義することができます。私は、べき乗を定義しようとすると zero :: Nat zero = \f t -

haskell types type-theory higher-rank-types 2016-10-29

---

1熱

1答えて

ランク-1タイプは、ランク-N-タイプにRank2Types拡張子

Haskell wiki pageを必要とし、このタイプ forall a . a -> (forall b . b -> a) は（私が何を念頭に置いて、私はこの事実を信じて、それは私にとって非常に理解しやすいと思われるランク1を持っていることを伝えます機能のランクを決める方法について既に知っている）。しかし、私は次のコードを記述しようとしているとき： {-# LANGUAGE Explic

haskell types functional-programming higher-rank-types forall 2016-12-18

---

2熱

1答えて

トランススタックでSTTモナドをアンラッピングしますか？

この質問は明らかに、hereとhereで説明されている問題に関連しています。残念ながら、私の要求はそれらの質問とは少し異なり、与えられた答えは私には当てはまりません。私も実際に理解していませんなぜrunSTはこれらのケースではタイプチェックに失敗しますが、これは役に立たない。 私の問題はこれです、私は1つのモナドスタック、またはむしろ単一モナドを使用するコードのいずれかのセクションがあります。 i

haskell polymorphism higher-rank-types 2016-04-25

---

13熱

1答えて

なぜ `[1、" a "] :: [forall a。 Show a => a] `は許可されていませんか？二つのリスト次の私（のかもしれない間違った）理解で

は、同等である必要があります。 [1, "a"] :: [forall a. Show a => a] data V = forall a. Show a => V a [V 1, V "a"] :: [V] しかし、最初のものは受け入れられなかったが、第2 1は、（ExistentialQuantificationで）正常に動作します。 最初のリストが存在しない場合は、空白のタイプはm

haskell polymorphism typeclass existential-type higher-rank-types 2015-10-10

---

11熱

2答えて

RankNTypesを使用するこのファンクタの名前は何ですか？

objectiveパッケージの遊びの間、私は次のタイプが面白い特性を持っていることに気付きました。 > {-# LANGUAGE RankNTypes #-} > data N f r = N { unN :: forall x. f x -> (x, r) } これはFunctorです。グーグル/ hoogleの数時間後 > instance Functor (N f) where >

haskell functor higher-rank-types 2016-04-29

---

2熱

1答えて

パターンマッチングの推論型

以下の型チェックはなぜですか？ _のタイプはDoubleと推定されます。 {-# LANGUAGE ScopedTypeVariables, Rank2Types #-} module Main (main) where data D a = D a main = let n = D (1 :: forall a. (Floating a) => a) i

haskell pattern-matching higher-rank-types 2017-01-02

---