Li-Fan Chen says to YSITD
尾遞迴可以被編譯器優化成迴圈