嚴格的構造

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中。