良さげなメモがありました。 http://rwmj.wordpress.com/2009/03/31/using-autoconf-for-ocaml-projects/

MiniLight renderer cleanup, simpler (safer) code is faster MiniLight という簡単な global illumination renderer は、そのアルゴリズムが C++ や OCaml を始め、7種類の言語で実装されています。そのコード行数と速度を比較。その OCaml での実装が幾つ…

?? という予約語が lexer に定義されているが、parser で使われていない。 なので、?? という binary operator が定義できない。問題ないのに。

アメリカで発売日に買った eee pc 900 の xandros の中身が古くなって来たので eeexubuntu 8.1? を入れてみた。 mkusbinstall.sh で SD カードにインストーラーを入れて立ち上げ。うまく行ったが、この mkusbinstall.sh は eeexubuntu の 7.1? にしか入って…

やっぱ ?$label はかっこ悪いので $label にした。副作用: let f $(x:int) = ... とは書けない $ を binary op として使いたい場合は x $ y のようにちゃんとスペースを入れなければならない $ を lexer token にしないための苦肉の策だが、まーそれでえーや…

大阪さんがPrologの事を知りたがっているようです http://d.hatena.ne.jp/ranha/20090325/1237951589 を読んで、Prologで大阪さんの事を論理的に考える集い http://atnd.org/events/447 というページを読んでいたら、 偶然、俺の背後で同僚の外国人達が関西…

~label, ?label に加えて、 ?$label という新しいラベルを導入した。 ほんとは $label がいいんだけど、そうすると $ を予約記号にせにゃならん。

はい。一種の日記セラピーですので書きたいように書くと毒が溢れ出るようです。もう研究者や学生じゃないので精密な議論は基本丸投げしたい。するんだったら はてな に書かんと論文にするわー。 逆に研究者の方々ももっと過激なこと書いてくれると、楽しいと…

Yaron Minsky の Caml Trading(http://ocaml.janestreet.com/?q=node/61) を全部聞きました。POPL2008 に彼が招待された時の話と基本的には同じです。それにいくつかMLを知らない人のための ADT と pattern matching の話が加わっているといった感じでしょう…

えー、なんだか、(都合の良い)情報というのはそれを望んでいる人の所に自然に集まってくるようなのです。大変芳しいネタに行き当たってしまいました。(id:mzp さんどうも情報ありがとう。) まじめなオブジェクト指向論を繰り広げたく、少しづつ論考してはい…

http://ocaml.janestreet.com/?q=node/61 はい、この陽気なおっちゃんが俺のボスです。 全部見てませんが、POPL2008 での話と大体同じスライドを使っているようです。 Summer Project の話も少しあるみたい。

よいこは読んではいけません。Obj.magic の話です。よいこは寝てください。、、、、、、、、、はい、悪い子しかいませんね。じゃあ、Obj.magic の話をしましょう。Obj.magic は関数なので、適用された結果は expansive です。なので、結果が polymorphic に…

某50stormy先生から、 やっぱオブジェクトは使えないですよね? という修辞疑問っぽいコメントを頂きました。 マッチポンプです。どうもありがとうございました。

id:osiire さんの OO難しすぎな例: http://d.hatena.ne.jp/osiire/20090306 : バリアント無いなんて残念すぎる。type Card = Num of int | Jokerとかどうやって表現するの？ はい、 typedef card int; #define JOKER 0です。え？ 0 っていうカードがある？じ…

F# のことを勉強しようかと思ったが、至るところ null があるって聞いた時点で、萎えた。誰か私にそれは嘘だから元気を出せと言ってください。

http://d.hatena.ne.jp/camlspotter/20090302/1235953483 の続きです。 これは、もう、、、こじれにこじれてますね。 Jason Hickey の言い分(一部): The current text is submitted and ready for publication since Jan 2008, but it has been delayed. Mr.…

2ch Haskell板で土方土方と言われている件に関して。 cで土方やるよりhaskellで土方やる方がまだマシ 何のためにこういう人達は Haskell 勉強してるんだろ、、、土方*1になるため？違うよね。書き込んだ人は本気で土方になりたいと思っている訳では無いだろ…

吐き気がする。自分に何の落度もないという信念を表明している人に、なお、世間を騒がした事に対して謝罪を求める日本の恥文化に吐き気がする。世間を騒がしているのは、こういう質問をして報道を行う人間と、そしてそういうゴシップを消費する我々一般市民…

http://b.hatena.ne.jp/entry/http://www.222.co.jp/netnews/article.aspx?asn=34805 (元記事は http://www.222.co.jp/netnews/article.aspx?asn=34805)だからいつも言ってるじゃないですか。OO なんて、物メタファーだから自然とか言ってるけど、ほんとはそ…

prelude.ml は Haskell っぽいイディオムで OCaml プログラムを書くためのモジュールです。 使ってません。ざぁっと見てみました。 Haskell にあって OCaml に無い関数群沢山定義 OCaml の stdlib にある関数名を Haskell 風の物に変更 まぁそんな印象です。…

http://d.hatena.ne.jp/camlspotter/20090228/1235791057 の続きです。細かくフォローするつもりはなかったんだけど、もう一方の当事者からのポストが来たので。Tim Rentsch が彼から見た経緯を caml-list に説明しています。(http://caml.inria.fr/pub/ml-a…