#readghc 第一回
参加の前提条件を満たさないと・・・ | GHCソースコードリーディング勉強会 第1回 #readghc - [PARTAKE] http://t.co/mBD13yV2 @partakeinさんから
2012-09-27 09:25:05こんなのあったのか…もう満員や…。 / (発表者募集中) GHCソースコードリーディング勉強会 第1回 #readghc - [PARTAKE] http://t.co/pB4ivGWA @partakeinさんから
2012-09-27 09:28:17ghc-7.4.1 で CSE (Common Sub-expression elimination) が適用される例が作れない #Haskell
2012-09-27 12:36:50@khibino cse-ghc-plugin のテストに使われているコードはどうでしょうか? https://t.co/cJ2Z6gCv #Haskell
2012-09-27 12:50:42@shelarcy このサンプルは定数式のようですが、定数式ではなく変数を含んだ式の例はどこかに無いですかね
2012-09-27 14:10:40@khibino 計算式を二項演算に分けて、明らかに(どのプログラムパスを辿っても)冗長になるように書いてもダメなんですか? 因みにCSEは非力なので、GVNやPREの例だと上手くいかないかもです。
2012-09-27 15:33:57@tanimocchi ダメなように見えるんですよねー let { x = p + q; y = p + q} in (x, y) みたいなのを試したんですが削除されない
2012-09-27 15:38:20@khibino それより簡単な例は作れないですね。冗長削除は、割と効果があって、例えばこんな記事があったりします → LabVIEW 2010をNational Instrumentsが発表,コンパイラの改良で実行速度を20%向上 http://t.co/z5R7qgO6
2012-09-27 15:54:17@khibino λ項にすると、α変換との関係で、式の字面での置換えが困難になるんですかね? だとするとGVN位しか実装できなくなってしまうので、非力な最適化になりますね。どのフェーズで最適化するかで、問題の見え方が異なるのだとは思いますが、演算精度保証を考えると、うーん。。。
2012-09-27 15:59:29@khibino (続き)α変換起因で、式の字面での等価性を用いた冗長削除が困難なのであれば、それは案外良い発案・論文ネタになるかも知れません。演算精度のための型情報と冗長削除の実装のし易さとを考慮した解決が必要になると予想されますので。あー、9/29に参加したかったorz
2012-09-27 16:02:34@tanimocchi いま手元でいろいろ試しているものがうまくいけば、今度お会いしたときにちょっとだけ面白いものをお見せできるかもしれません。
2012-09-27 16:12:03@khibino @shelarcy こんな例を見つけました module Foo where f :: (Int->Int)->Int->Int; f g x = y * z where y = g (x + 1); z = g (x + 1)
2012-09-27 16:48:17うまくいったように見えます。ありがとうございます。@mkotha こんな例を見つけました module Foo where f ::(Int->Int)->Int->Int; f g x = y * z where y = g (x + 1); z = g (x + 1)
2012-09-27 17:28:41.@mkotha さんが良い例を見つけてくれました。@tanimocchi @shelarcy @khibino
2012-09-27 17:31:25(*) の引数がちゃんと同じ変数になって展開されている GHC.Prim.*# x_aaS x_aaS @mkotha @tanimocchi @shelarcy @khibino
2012-09-27 17:33:56@khibino CmdArgsは内部でunsafePerformIOを乱用していて、同じ属性をもつオプションを複数作るとcseによって壊れます。
2012-09-27 17:49:12.@ma0e おもしろい情報提供ありがとうございます。安全な CmdArgs を作り直した方がいいんじゃないだろうかw
2012-09-27 17:55:45@xuwei_k @hirabushi #readghc 主催者の岡部と申します。会場が狭いため机のある席が御用意できないのですが、イスのみの席でよろしければ、是非ご参加ください。 http://t.co/bxFSq5AX
2012-09-27 20:59:06面白そうだったので参加。 / (発表者募集中) GHCソースコードリーディング勉強会 第1回 #readghc - [PARTAKE] http://t.co/WiPtBAlL @partakeinさんから
2012-09-27 23:17:03ついに第1回が開催されるみたいです。もう満席ですが。 (発表者募集中) GHCソースコードリーディング勉強会 第1回 #readghc - [PARTAKE] http://t.co/REcWOMSN
2012-09-27 23:31:56