為什麼 GHC 不預設將所有的 Dict Passing 都 Specialize 掉？

1樓：CJex

除了高階型別外，還要考慮分離編譯。GHC 開啟 -O 就會自動對 Local 函式進行 Specialize 。需要注意的是，如果不寫 module export list，就會預設 export 所有函式。

如果乙個被 export 函式在本地 module 中有可以 Specialize 的呼叫，GHC開啟優化也會為本地呼叫 Specialize 乙份。（ ghc -O -ddump-simpl 有真相

2樓：「已登出」

cat main.c

int main()

gcc -S main.c

cat main.s

.section __TEXT,__text,regular,pure_instructions

.macosx_version_min 10, 13.globl _mainBegin function main.p2align 4, 0x90

_mainmain

.cfi_startproc

## BB#0:

pushq %rbp

Lcfi0:

.cfi_def_cfa_offset 16Lcfi1:

.cfi_offset %rbp, -16movq %rsp, %rbp

Lcfi2:

.cfi_def_cfa_register %rbpxorl %eax, %eax

movl $0, -4(%rbp)

movl $42, -8(%rbp)

movl $42, -12(%rbp)

movl -8(%rbp), %ecx

addl -12(%rbp), %ecx

movl %ecx, -16(%rbp)

popq %rbp

retq

.cfi_endprocEnd function.subsections_via_symbols（非技術性回答）

（也許大佬們能舉出各種各樣的例子來證明某優化策略在某情況下不穩定，但是 spesh 開不開這種事很有可能是一開始沒有，後來加上了，又不是痛點，就不設成預設了（社群都很忙的，沒空評估設定成預設的風險和收益，像 Haskell 這種高階社群（笑）會告訴你那裡有個 enable 的 flag））