#nwn さんと去年話していた、「英文書き方」とか結局脱稿できませんでした
#ikegami さんあけおめことよろです。我が765プロはいつでも君を待っているぞ
#765 ってなんだっけ
#あけましておめでとう
#アイマスの高木順一郎さんの名台詞ですね > 我が765プロは...
##あけましておめでとうございます。今年も Haskell をよろしくお願いします。
#イエス
#書き初めでもしよう
#今年こそは Haskell -> Target Code (流行りのならなんでもいい) を実現したいです
#が、ghc のコア言語の仕様は論文出ると変わるみたいだし、うーん
#やはり、JHC みたいなことしないといけないのかな…
#ということを、今年の言語雑談会でしたいです
##yhc の取り組みはしってます
#ghcコアの動向が気になるなら、こちらの repository をチェックしておいた方が良いかもしれませんね。http://bit.ly/80346s http://bit.ly/5ZXA35 #後者は影響しないかもしれませんが、前者は "Types Are Calling Conventions" を書いた Max の repository なので。
#なるほど
#Types Are Calling Conventions は読みましたが、あれがどれくらい効くのかは、実装してみないとわからない、んじゃないかなーという感想
#(最適化において)
#Max もやっぱりあれだけじゃ効かないと考えているのか、 まずは supercompilation を実装しているみたいです。 > ghc-ghs repository
#なるほど、やっぱりねー
#ぼくも使ってはみたいなと思わせるアイデアだったけど、他の相性の良い最適化手法を探す必要があると思った : Types Are Calling Conventions
#一方、純粋に supercompilation だけを実装している ghc-scp という repository があって、どちらを見ていれば良いのか困った状況に……。(なので、先程両方の repository を紹介しました。)
#理想を追い求めているので、GHC さんは参考にしつつ、自分で頑張ってみたいです… (時間と体調しだいで
#GHC から branch するには、もうなにがなにやら
#正月は Hugs 98 さんのソースを読んだりします
#(ghc-ghs repository の説明はどこにも書いていないので、もちろん、単なる想像ですが。真意は流石に Max に聞いてみないとわかりません……。)
#はい、無理しない程度に頑張って下さい★♫
#いつでもいいので、知りたいことがひとつあった
#「Haskell98 の単相性制限ってはずせるよ」の出典だれか知りませんか
#ぐぐったらわかるのかもしれないけど、よくわからない
#型推論アルゴリズムとして、の話です
#LHC がやっているらしいので、LHC のソース読んだほうが早そうだとメモ
#「MacOSX Leopard で ghc-6.12.1 をソースからコンパイル、GMP はフレームワークじゃなくて dylib として作った」場合、環境変数 DYLD_LIBRARY_PATH に libgmp.dylib を教えてあげないと、XCode の C コンパイラに怒られます
#くやしすぎる
#cabal も同様なので、env DYLD_LIBRARY_PATH=... cabal install --global...
#sudo わすれた、まあそういうことで、ちょっと悲しい
#Loading package integer-gmp ... <command line>: can't load .so/.DLL for: gmp (dlopen(libgmp.dylib, 9): image not found)
#こんなエラーがでたら、DYLD_LIBRARY_PATHを疑ってみるといいです (ghc-6.12.1)