unsafeCoerceなしでサブレコードを取得する方法はありますか？

Question

type Foo = { 
    x :: Int, 
    y :: Int 
} 

type Bar = { 
    x :: Int 
} 

foo :: Foo 
foo = {x:1,y:2} 
bar :: Bar 
bar = foo 

はタイプ

を（一致しませんでした）

タイプ

（Y ::のInt ）

でなぜこれが可能ではないでしょうか？

私は

type Bar a = { 
    x :: Int | a 
} 

を使用することはできませんし、レコード

bar = {x : foo.x} 

ですunsafeCoerceのみのオプションを再作成したくありませんか？

unsafeCoerceの使用にはどのような問題がありますか？

Answer 1

あなたは関数を作成する場合にのみ、あなたは代わりに開い行を使用することができ、いくつかの特定のフィールドを持つレコードを扱う：

bar :: forall r. { x :: Int | r } -> { x :: Int | r } 
bar rec = rec 

まだ両方FooとBar同義語と互換性があります。

しかし、それはどちらかは良いしませんし、あなたがしかない再びBarにFooを強制、および、約yその後、unsafeCoerceがいる限り、使用しても大丈夫であるべき「忘れる」したいだけならば。

私は強くunsafeCoerceエイリアシング直接ではなく、しかし、それを使用してお勧めします：

forget :: Foo -> Bar 
forget = Unsafe.Coerce.unsafeCoerce 

それはあなたが原則に基づいた方法でそれを使用していると思う場合でも、それを直接使用しているとき間違いを犯すのは簡単です。

個人的には、定型文が含まれていても、フィールドがなくても新しいレコードを作成できます。