強制する方法ファンクタは、以下のHaskellのコードを考えてみましょう引数

Question

を強制可能に適用されます。その根拠は、coerceはidのように振る舞い、ファンクタの法則の1つはfmap id = idです。

これを行うには、Coercible (f a) (f (Decorated s a))をコンテキストに追加するしかありませんが、他の場所では参照されていないsが参照されます。さらに悪いことに、aが汎用型でバインドされている場合、私はその制約を表現できません。 coerceを使用してf aとf (Decorated s a)の間で変換できるようにするには、fという言葉で表現できる制約はありますか？

これは、コンパイラがfがファンクタであるという事実から独立していますか？もしそうなら、それはバイフォンター、トラバーサブル、ビットラヴァラブルでも使えますか？

Answer 1

残念ながら、Coercible (f a) (f (Decorated s a))はGHCの現在の状態を考慮して、あなたが欲しいと思っているものです。今、sとaがどこにも現れないということは、何か良いことではありません - それはGHCが彼らと何をするべきか分かりません（あいまいです）！私はそれに得ることはありません...

---

型コンストラクタfに供給された型パラメータのroleによっては、Coercible a bは、またはCoercible (f a) (f b)を意味するものではない場合があります。この場合、私たちはその役割を名目的にすることを望んでいますが、制約内でこれを表現する方法はありません（少なくとも）。私が何を意味するかを説明するには、次の2つのデータ定義を考えてみます。

{-# LANGUAGE TypeFamilies #-} 
import Data.Coerce 

-- type role of `a` is "representational" 
data Data1 a = Data1 a 

-- type role of `a` is "nominal" 
data Data2 a = Data2 (TypeFunction a) 
type family TypeFunction x where 
    TypeFunction Bool = Char 
    TypeFunction _ =() 

を次に、それが真の間Coercible a bはCoercible (Data1 a) (Data1 b)を伴うこと、それはないがCoercible (Data2 a) (Data2 b)を伴うん。 、このコンクリートを作るGHCiの中に上記をアップロードするには、その後、試してみてください。

ghci> newtype MyInt = My Int 
ghci> let c1 = coerce :: (Data1 MyInt) -> (Data1 Int) 
ghci> let c2 = coerce :: (Data2 MyInt) -> (Data2 Int) -- This doesn't work! 

は残念ながら、型変数の役割は具象的であることを強制する組み込みの制約ベースの方法はありません。エドワード・Kmett has doneのような独自のクラスを作ることができますが、GHCはCoercibleのクラスインスタンスのように、これらのクラスのインスタンスを自動的に作成しません。

これは、彼らが、これは実際に今日の事だった場合

instance (Representational f, Coercible a b) => Coercible (f a) (f b) 

のようなものを持っている可能性がCoercibleのためのように生成されたインスタンスを持つクラスRepresentational fを持つ可能性を議論this Tracのチケット、あなたが必要となるすべてにつながりましたあなたの制約内ではRepresentational fになります。さらに、リチャード・アイゼンバーグがチケットで見ているように、のf aには、任意の合理的なファンクタfの表現的役割があることが分かります。それでFunctor fの上に何の制約も必要ないかもしれないので、RepresentationalはFunctorのスーパークラスになる可能性があります。

Here is a good discussion of the current limitations of roles.