type-kinds

21熱

1答えて

私はハスケルコードで遊んでいるときに、しばしば型名とundefinedで物事をスタブします。 foo :: String -> Int foo = undefined 同様の方法で使用できるタイプレベルの「未定義」はありますか？（理想的には、種類の注釈と一緒に）同じスレッド上 type Foo :: * -> * type Foo = Undefined さらに思考：私はこの方法で作

6熱

2答えて

これはScalaのより親切な型ですか？

type MyMap = Map[String, List[Map[Int, String]]] が高いkindedタイプとして定義されてマッピングすることができ、次のように定義あるだろうか？

5熱

1答えて

は一体ここで何が起こっているか

'`＃に対して'` *種類と一致しませんでした： "Couldn't match kind `*' against `#'" 私はTemplateHaskell（ghci -XTemplateHaskell）を使用して、GHCiの中で次のことをしようとしていた $(reify ''Show >>= dataToExpQ (const Nothing)) を私はこれからExpを得ることを望ん

5熱

1答えて

種類は、「種類」タイプとのトラブルを有するタイプのラムダ

に適合していませんか？そのcr * ppyを部分的に適用した型を型コンストラクタtrait Attrに持ち込む必要がありますか？なぜ？ Attrの定義に触れることなくこれを修正できますか？私は実装が動作するために機能testで境界が必要なのですが、私はは、パブリックインターフェイスAttrにそれらの境界を増殖したくないありません。注：私はタイプ（私はしたくないものを）メンバーを使用している場合

5熱

1答えて

上位キンダ型変数を使用して導出する

たとえば、パラメータの1つが上位型（* -> *）である多型を使用しているとします。アークンや安全でない言語拡張を使用せずにこのようなタイプのインスタンスを派生させる一般的な方法はありますか？私はコンテキストを指定することができるように、私はStandaloneDerivingを有効にしようとした： deriving instance Show (m Int) => Show (Tricky

1熱

1答えて

このサイズセーフZipWithバリアントには、どのような機能的依存関係が必要ですか？その理由は何ですか？

型パラメータ化された長さのリストに対して操作を定義しようとしています。私はこれらのリスト（Map、Fold、何を持っていますか）にかなりの制約を課すことになりますので、新しいGHC ConstraintKindsを使用して私の人生を少し簡素化したいと思います。しかし、私はそれらを理解するように見えることはできません。は、以下の（大幅に単純化された）の例を考えてみましょう： -- A list w

2熱

1答えて

種類レベルのかっこはどういう意味ですか？私は以下の種類を理解して

： String :: * [] :: * -> * (->) :: * -> * -> * (,) :: * -> * -> * しかし、この種は何を意味し、それがどのようなタイプを表すのでしょうか？ ? :: (* -> *) -> *

2熱

1答えて

タイプの家族はこの単純なコードはコンパイルされません

種類*を持っている import Data.Kind type family F (k :: Type) :: (t :: k) -> Type エラーメッセージは、これは実際の」家族を定義していることを私はいくつかの意味でもらう • Expected a type, but ‘t’ has kind ‘k’ • In the kind ‘(t :: k) -> Type’ ですなぜこ