haskell-ja > Archives

2015/06/22 05:30:32 UTCkazu

fumieval くんが、inline 化によって、Foldable な foldr が、リスト専用の foldr に書き換えられることを確かめてくれました。

2015/06/22 06:38:25 UTCigrep

> fumieval くんが、inline 化によって、Foldable な foldr が、リスト専用の foldr に書き換えられることを確かめてくれました。

どうやったのか結構気になりますので共有していただけると幸いです！

2015/06/22 06:51:25 UTCkazu

ghc -O --ddump-inlinings ですね。一応、ブログを書いてみたら？とは言ってあります。

2015/06/22 08:40:09 UTCigrep

2015/06/22 09:52:00 UTC[1..100]>>=pen

7月2日（木）「平日夜にすごいH本をちょびちょび読む会 15回目」（定員4名） #Hちょびよみ http://hchobi.connpass.com/event/16740/

2015/06/22 12:34:24 UTCfumieval

インライン化は私の勘違いで、Class op (メソッド名)という規則によって置き換えられるようです(結果的には同じようなものですが)。-ddump-rule-rewritesフラグによって確認しました。

2015/06/22 12:34:41 UTCkazu

正しくは、-ddump-rule-rewrites のようですね。 http://fumieval.hatenablog.com/entry/2015/06/22/162833

haskell-ja > Archives > 2015/06/22