严格的构造

Question

假设部分应用程序，我有

data Foo a = Foo !Int a [a] | Bar [a] 

所以Foo构造函数是在其第一个参数，这将解压严格。进一步假设我将Foo n传递给更高阶函数f，并且f未被内联（因此实际上传递了Foo n）。我用-O2获得的核心表示n被装箱，然后传递到Foo，结果传递到f。我的问题：我会更好打电话

f (\a b -> Foo n a b) 

避免拳击n？或者会导致其他性能问题？

---

我其实是想确定

foo' !n = \a b -> Foo n a b 

，并呼吁f (foo' n)，我想通应该做同样的事情，但我想这是更好的明确要求。

Answer 1

我为此打开了GHC Trac ticket 12990。 Reid Barton和Simon Peyton Jones提出了一个解决方案（允许在部分应用时允许内联函数内联），我将其提交为GHC Phabricator differential D2891。该补丁已应用于主分支，并将包含在GHC 8.2中。