ネイティブのHaskellリストには「本当の」型名がありますか？または...私はここで間違って何をしていますか？

Question

約Haskell type familiesの記事に続いて、私はそれを自分で試して勇気を見つけました。

{-# LANGUAGE TypeFamilies #-} 

class Iterable c where 
    data Iterator c :: * -> * 
    current :: Iterator c a -> Maybe a 
    next :: Iterator c a -> Maybe (Iterator c a) 

instance Iterable [] where 
    data Iterator [] a = ListIterator [a] -- Problem in this line! 
    current (ListIterator []) = Nothing 
    current (ListIterator (x:xs)) = Just x 
    next (ListIterator []) = Nothing 
    next (ListIterator (x:xs)) = Just (ListIterator xs) 

これは、上記のHaskellのチュートリアルで与えられたコード例のアナロジーである：まあリストは、私は右のアイデアを得た場合だけ見るために、すでにのApplicativeやその他もろもろであることを知って、私は次のことを実行しようとしました。 これは、ネイティブのHaskellリストのためにタイプファミリーIterableを一般的に実装することです。

私は data Iterator [a] = ListIterator [a]を書くために、代わりしようとしたが、これは私がここに表示されたコードと同じエラーメッセージが得られます。

temp.hs:8:19: error: 
    * Expecting one more argument to `[]' 
     Expected a type, but `[]' has kind `* -> *' 
    * In the first argument of `Iterable', namely `[]' 
     In the instance declaration for `Iterable []' 

そこで、私の質問、私の代わりにリストの実際の型の名前を使用するオプションを持っている場合[]の私の疑いのように、これは私の（構文的な）問題の原因です。

Answer 1

クラスは実際には引数を全く使用しません。Iterator cのみを使用しますが、cを使用しないことに注意してください。それは基本的に大丈夫です– cは基本的にタグのように機能しますが、他のタイプの–を選択することはできますが、あなたが望むものであるかどうか、より直接的なアプローチが良くないかどうかを尋ねるべきです。

唯一の実際の問題：cはそれ自身では使用されないため、コンパイラは何がの種類であるかを知る方法がありません。つまり、基本的にあなたのクラスは多相でに分類されています。これはHaskell98では許可されていません...したがって、デフォルトは可能な最も単純な種類、つまり*です。 GHCiはこれをあなたに伝えます：

*Main> :k Iterable 
Iterable :: * -> Constraint 

instance Iterable IntIntは*です。しかし、[]はありません、種類は* -> *です。したがって、そのエラーメッセージ。あなたはこのデフォルト化を避けるために、GHCのPolyKinds拡張を有効にすることができ

：

{-# LANGUAGE PolyKinds  #-} 

class Iterable c where 
    data Iterator c :: * -> * 
    current :: Iterator c a -> Maybe a 
    next :: Iterator c a -> Maybe (Iterator c a) 

は、今では（k ~ (* -> *)で）あまりにも

*Main> :k Iterable 
Iterable :: k -> Constraint 

ので、両方instance Iterable Intが動作します（k ~ *付き）とinstance Iterable []です。今

{-# LANGUAGE KindSignatures #-} 

class Iterable (c :: * -> *) where 
    data Iterator c :: * -> * 
    current :: Iterator c a -> Maybe a 
    next :: Iterator c a -> Maybe (Iterator c a) 

instance Iterable []は動作しますが、instance Iterable Intはないでしょう：

または、手動でcは常に親切* -> *を持つべきであると述べている可能性があります。