GHCのネストされたUNPACK

Question

タプルは自然な型であると考えているので、タプルに複数の値を集めることがよくあります。ただし、タプルは厳密ではありません。したがって、考慮すること

data A 

data B = 
    B !A 

data C = 
    C !(B, B) 

data D = 
    D !B !B 

-funbox-strict-fieldsと最適化では、UNPACKはネストされています。 Cのタプルは、DのようにC A Aに解凍されるか、またはC B Bとなるでしょうか？ GHC-docの参考資料は7.16. Pragmasです。

（？？タイプのコンストラクタ空でないタプルタイプある）

Answer 1

考えてみましょう：

data (,) a b = (a,b) 

GHCは喜んでネストされた、厳格なコンストラクタに(!B)が消去されます

data B = B !Int 

data C = C !(B, B) 

data D = D !B !B 

b0 = B 7 
b1 = B 4 

c = C (b0, b1) 

d = D b0 b1 

、最初のフィールドでCが厳密になり、次のように最適化されます。

b0 = B 7 
b1 = B 4 

c = C b0 b1 

d = D 7 4 

しかし、重要なことに、(,)のフィールド自体は厳密ではないため、GHCはそれらをアンパックできません。さらに、それらは多形であるため、厳格であってもそれらを解凍することはできません。

最初の部分の回避策は、厳密なタプルを使用することです。 2番目の部分の回避策は、self-specializing tuplesを使用することです（タプルを特化したファミリを入力するなど）。

---

（注）このスタイルで構文については、タプルを使用すると、オーバーヘッドが発生していること - 彼らは離れて最適化する必要が間接的なレベルをご紹介します。したがって、それはやや独立したものです。