定数が返されるのはなぜですか？

Question

I持って次のスニペット：私は守っ何今

import Network.MessagePackRpc.Server 

ping :: String -> IO String 
ping s = return s 

main :: IO() 
main = do 
    serve 8081 [ ("add", fun add), ("ping", fun ping) ] 

、その私は、例えば文字列を送信するとき1024バイトの文字列が100000と同じ場合、小さなスニペットは約2秒で実行されます。私が行って、リターンsを例えばと置き換えると。 return "the-1024-byte-string"これは約25％速く実行されます。私はこれを上下に行使した。その影響はとても大きいと私は本当に驚いています。誰か説明がありますか？

Answer 1

（コンパイル時に）既知の定数を返すと、より多くのインライン化が可能になります。しかし、生成されたコードを確認する必要があります。