夜中からの Haskell 談義

Hideyuki Tanaka @tanakh

Haskellのコードは理由なく遅くならないし、遅いなら理由があるので取り除けば速くなる。長年の経験上GHCにはそれぐらいの信頼はおけます。

くいなちゃん @b2

Lispェ・・・　FAV @ponkotuy 前Pythonistaで、吐くバイナリの命令数最も短いと、Lispをガチで勧めてた人が居たw

SKS rep @repeatedly

Data.ListってGHCでの標準ライブラリだった気がするんだけど，そんなに激遅なんだろうか

くいなちゃん @b2

結局、ネイティブコンパイルしたなら生成されるのは機械語なんだから、機械語にフィットする言語のほうが速いのは当然な気がする。　そういった意味で、C言語から離れていくほど遅くなるんじゃ・・・。

Hideyuki Tanaka @tanakh

@repeatedly Haskell2010の標準ライブラリですね。これが激遅というより、そもそもリストをC++の配列の置き換えとして使うと激遅になるというのはわかりますよね…？

普通のC++使い、銀天すばる @SubaruG

最適化の幅は機械語に近いほうが狭くなりますにゃ。 RT @a_mute: 結局、ネイティブコンパイルしたなら生成されるのは機械語なんだから、機械語にフィットする言語のほうが速いのは当然な気がする。　そういった意味で、C言語から離れていくほど遅くなるんじゃ・・・。

おしょー@実際モチベーションがない @manga_osyo

午前4時過ぎに Haskell が議論されてる TL 怖い。

ふじた @kester44

なるほどなー RT @SubaruG: 最適化の幅は機械語に近いほうが狭くなりますにゃ。 RT @a_mute: 結局、ネイティブコンパイルしたなら生成されるのは機械語なんだから、機械語にフィットする言語のほうが速いのは当然な気がする。　そういった意味で、C言語から離れていくほど

SKS rep @repeatedly

@tanakh それはそうですね

くいなちゃん @b2

なるほど・・・最適化をコンパイラ任せにしたら、確かにそうなりますね　FAV @SubaruG 最適化の幅は機械語に近いほうが狭くなりますにゃ。

Hideyuki Tanaka @tanakh

ただまあ、Haskellでも抽象性と効率を両立させるのは未だに難しいわけなので、まだコンパイル技術は発展する余地はありますね。そこが究極の目標です。SuperCompilationがその間をある程度埋めてくれると思うのだけど、実用化はいつごろになるだろう。

SKS rep @repeatedly

gcc「インラインアセンブラも最適化してやんよ！」

ぷりん大王・鰹節大臣(兼任) @phoenixstarhiro

@tanakh よく使われている言語ならどれでも遅くなるなら理由があるし、取り除けば速くなる気が。。。問題は理由がどれだけ探しやすいかと、取り除きやすいか、では？

Hideyuki Tanaka @tanakh

@phoenixstarhiro 遅くなる、の前にC++程度の速度と比べて、という言葉を補ってもらえると…。

SKS rep @repeatedly

まぁでもFortranの配列のメモリレイアウトは素晴らしい(使ったことない

shelarcy（しぇらーしぃ） @shelarcy

@tanakh とりあえず、去年の Simon Peyton Jones と Max の方の論文の改善版 http://j.mp/fumen7 https://github.com/batterseapower/chsc/tree/chsc2

Hideyuki Tanaka @tanakh

@shelarcy おお、あれから進展があったんでしょうか？

Hideyuki Tanaka @tanakh

ICFP2011に投稿されたのか。

shelarcy（しぇらーしぃ） @shelarcy

@tanakh 改良した結果が ICFP 2011 の論文として投稿されてます。

めるぽん.c @melponn

Haskell さんはやればできる子だということが分かった。Haskell の基本操作がリストだから、基本がvectorなC++と比べて遅いと感じてしまうってことがあるってことなのかな。

Hideyuki Tanaka @tanakh

@shelarcy なるほどー。GHCに取り込まれる計画とかはあるんでしょうかね？

くいなちゃん @b2

でも・・・まだ一般的に、C/C++ が最速とされている現状。

Hideyuki Tanaka @tanakh

今Haskellで配列操作するならvectorパッケージ一択です http://hackage.haskell.org/package/vector

めるぽん.c @melponn

どんなアルゴリズムで書いても全部同一のバイナリを吐き出してくれるようなコンパイラが欲しいです！

shelarcy（しぇらーしぃ） @shelarcy

@tanakh GitHub の方で見れますが、実験的に GHC に上に実装しようとしている branch がありますね。まだ実装が全然ですけれど。 https://github.com/ghc/ghc/tree/supercompiler