正格性解析 (Strictness Analysis) への反応

Ikegami Daisuke @ikegami__

だいたい道具がそろったので、さかいさんの記事をたのしみにしつつ寝よう

Masahiro Sakai @masahiro_sakai

日記更新 正格性解析 (Strictness Analysis): この記事はHaskell Advent Calendarのために書かれたものです。(22日目) 正格性解析(strictness analysis)は、Ha... http://bit.ly/fEJ1xh

Ikegami Daisuke @ikegami__

さかいさんの Haskell advent 読んだ : http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20101228#p01

Ikegami Daisuke @ikegami__

つぎは僕の番で、point-free style を紹介しようと思ったんだけど、「sum = foldl (+) の最適化は、正格性解析に関してはむずかしい」ということが書いてあって、そのとおりなんですが、point-free よくないやんけ、ということではないので書かないとうう

Ikegami Daisuke @ikegami__

domain theory か… Haskell プログラミングがむずかしい、という印象をもってほしくないなあ…

Ikegami Daisuke @ikegami__

僕自身は、論文読んだり、むずかしいはなしのほうがわくわくするんですが

Ikegami Daisuke @ikegami__

ghc -O がよろしくやってくれるんだけど、なんでよろしいのか論文どこだったかなー

Ikegami Daisuke @ikegami__

foldl のかわりに foldl' つかえばいいじゃない、とかごまかそうかなー

Üe🦀 @ranha

いけがみさんはいけがみさんが読みたい記事を書けば良いですし誰かの為なんて偽らなくて良いんですよ…！！誰かなんて、本当はいない…。自分こそが読者ッ！！！そう、ぼくが読者だ！！！

Ikegami Daisuke @ikegami__

こういうときのらんはさんは、なんかこう胸にキュンとくるものがあって、ああとかだまされそうになるな

Ikegami Daisuke @ikegami__

google さんに query なげたので、文献まとめてもらうことにして、正格性はともかく point-free の原稿書こう、ありがとうらんはさん

Keigo Imai @keigoi

@masahiro_sakai Haskell ACの記事面白い！ 基本的なことで恥ずかしいのだけどidも正格というのに気づかなかったです。 g#の展開は p && q && (p || p) でなく p && q && (p || r) でしょかね。

Üe🦀 @ranha

さかいさんのブログおもろいから一度でも開くと時間吸い取られてヤバいっていうのはあって要注意だ…

pokarim @pokarim

"停止するはずのプログラムが停止しなくなったりはしない...関数fが正格なのは f ⊥ = ⊥ が成り立つとき。" http://bit.ly/ifdemr

pokarim @pokarim

"停止するはずのプログラムが停止しなくなったりはしない...関数fが正格なのは f ⊥ = ⊥ が成り立つとき。" http://bit.ly/ifdemr

pokarim @pokarim

"「cが正格なときとcが非正格なときようのコードを両方生成しておいて、さらにcの実行時のクロージャに正格性の情報を格納しておいて、実行時にcの正格性情報を見てどっちのコードか選ぶ」なんてことはできないものなのかな。" http://bit.ly/ifdemr

pokarim @pokarim

"「cが正格なときとcが非正格なときようのコードを両方生成しておいて、さらにcの実行時のクロージャに正格性の情報を格納しておいて、実行時にcの正格性情報を見てどっちのコードか選ぶ」なんてことはできないものなのかな。" http://bit.ly/ifdemr

pokarim @pokarim

型情報に正格かどうかをメタ情報として持たせて、コンパイル時に正格用か非正格用か決定することはできないものかな。 http://bit.ly/ifdemr

pokarim @pokarim

型情報に正格かどうかをメタ情報として持たせて、コンパイル時に正格用か非正格用か決定することはできないものかな。 http://bit.ly/ifdemr

Masahiro Sakai @masahiro_sakai

@keigoi ありがとうございます。修正しておきました。idが正格というのは私も昔勘違いしてました。

pokarim @pokarim

処理系が最適な評価順序を自動で選んでくれれば一番いいんだけど、停止し得るなら必ず停止できるシンプルな戦略として、"とりあえず"遅延評価を採用っていうことだよね。

スマートコン @mr_konn

正格性解析ってこう云うことだったのか……

pokarim @pokarim

idが正格ならseq要らないもんな。

Keigo Imai @keigoi

@pokarim 正格なのとseqで評価順序を指定するのは別の話だということですね。

shelarcy（しぇらーしぃ） @shelarcy

@pokarim Clean なら、関数の引数の正格性を型情報として埋め込むことができますね。 http://bit.ly/hgDjc0 http://bit.ly/grsDPu http://bit.ly/e9Sp47