PPL2013

Κeіsuke Νakanο @ksknac

どんな結果が出力されるのか？ → Yes ! とは… #ppl2013

Sosuke MORIGUCHI @chiguri

実行時間、呼び出し時間、関数名が出現。Cのプロファイルもする。（自分で呼んだものも） #PPL2013

Sosuke MORIGUCHI @chiguri

最適化にバグがあったので、「こんなに差はでないはず」（開発側談） #PPL2013

wistery_k @wistery_k

従来のプロファイラgprofから1000行くらいの変更でSML#.プロファイラができた #ppl2013

Sosuke MORIGUCHI @chiguri

C向けのgprofを利用して、さらにSML# で有用な結果を出力するためのコード生成。 コード生成・・・？？ #PPL2013

wistery_k @wistery_k

問題点: 関数名がFF18_3910とかになってしまうので実用的でない #ppl2013

Sosuke MORIGUCHI @chiguri

gprofの想定するコードの形に合わせたりprofile用の関数を呼んだり、シンボルに関数属性を付ける必要がある。付けたらプロファイルは取れたが、関数名が変。 #PPL2013

Sosuke MORIGUCHI @chiguri

コンパイル中に関数名を書き換えていたから変になったので、変換前の名前を注釈として取っておく。 #PPL2013

Sosuke MORIGUCHI @chiguri

「読めるようになって、（よかったですね）」 #PPL2013

Sosuke MORIGUCHI @chiguri

高階関数も正確に呼び出しを追っている。末尾呼び出しはジャンプになってしまうために関数呼び出しが報告されず、また例外も同様。 #PPL2013

Sosuke MORIGUCHI @chiguri

Cのレベルでのメモリ管理も見えるので、アロケーションを減らす方法などを考えることもできる。 #PPL2013

XENO @xenophobia__

名前が衝突するケースに関する質問。 #PPL2013

Sosuke MORIGUCHI @chiguri

Q：局所変数が名前をそのまま出してるけど、よく使う名前（loopとかiterとか）ってどれがどれかわからないような気がするけどどうなの？ A：そうです。今はまだ解決方法は思いついてません。 #PPL2013

XENO @xenophobia__

どの関数定義のスコープで定義されたシンボルか、っていう情報はつけられないのかな。 #PPL2013

Sosuke MORIGUCHI @chiguri

Q：なんでgprofを使ったら簡単になったの？どういう条件があったら簡単に作れるの？ A：ネイティブコードが吐けること、gprofの出力を満たせるようにできること。 #PPL2013

Sosuke MORIGUCHI @chiguri

shift/resetによるモナドトランスフォーマの提案と実装 #PPL2013

Sosuke MORIGUCHI @chiguri

またshift./resetかｗ #PPL2013

ゆずこ🌻 @yuzumikan15

shift/reset のお話です #PPL2013

XENO @xenophobia__

shift/resetによるモナドトランスフォーマ #PPL2013

kdxu @kdxu

先輩の発表．shift/resetのお話． #ppl2013

Sosuke MORIGUCHI @chiguri

shift/reset：プログラムの実行順序を制御（型安全、開発環境と続く） ・・・すげえざっくりｗ #PPL2013

Sosuke MORIGUCHI @chiguri

shift/resetを使ったモナドによるエフェクトはDirect StyleとしてFilinskiが行っている。 #PPL2013

Sosuke MORIGUCHI @chiguri

今回はshift/resetを使ってdirect styleのモナドトランスフォーマの実現。 #PPL2013

Sosuke MORIGUCHI @chiguri

reflect・・・ #PPL2013

Sosuke MORIGUCHI @chiguri

変換の正当性や任意のモナドトランスフォーマが変換できるかは今後の課題。 #PPL2013