2009-02-01から1ヶ月間の記事一覧
事実のみ。Tim Rentsch の Objective Caml Programming Language という本が実は Jason Hickey が Cambridge University Press から出版しようとしている PDF ドラフトのパクリなのではないか、と caml-list で議論されています。Jason Hickey のドラフトは…
いろいろ思いつく訳です。 recursive module module rec M : sig f : unit -> unit end = M let _ = M.fこりゃ一体どういうことなんでしょうね。これに関連して、camlinternalMod.ml の ignore pad1 から ignore pad8 までがとっても気になります。 binary o…
をINRIAの連中と一緒に今月中にするってのを忘れていた。のでここにメモする。
に参加させてもらえることになりました。さて、参加手続き、、、 あれ？一人部屋がもうない、、、おぢさんナイーブだから、合宿とか出来ないヨ。
本題より、 無闇に自分の有料メールマガジンに誘導しようとする云々 に注目されるとは思わなかった。 それが誰かは言わぬが花ということで、よろ。
たまにナイジェリア将軍詐欺が来たり、無闇に自分の有料メールマガジンに誘導しようとする嫌われ者の OCaml コンサルが一人常駐しているくらいで、それ以外は基本的に質の高い OCaml のメーリングリスト、caml-list ですが、久々に、香りたつ投稿がありまし…
Toolchain をコンパイルしたのでサンプルGUIアプリケーションをインストールしたのだが、アイコンが表示されない。BossPrefs には認識されているのに表示されない。 Cydia の FAQ に載っていた、UIKit tools の uicache を使うと、アイコンが表示された。な…
iPhone toolchain for Linux 2.2.1 : http://d.hatena.ne.jp/camlspotter/20090217/1234883798 が出来たので、Tosh さんの O'Caml on iPhone/iPod Touch を参考に、というか、そのまま、やってみた。iPhone の terminal で ocaml toplevel が動く。感動。Tos…
「副作用が嫌いなら、Pure な OCaml を作ればいいじゃない」 という夢を見た。まず、ref を Pervasives から取り去ってみたらどうだろう。
基本的に、http://code.google.com/p/iphone-dev/wiki/Building のとおり。なのだが、古くて、目的のものがうまくコンパイルできなかった。 追記 こっちのほうが新しく、簡単。確実。 http://code.google.com/p/iphonedevonlinux/wiki/Installation
ニューヨークオフィスのある小部屋に古びた変なタイプライターが打ち捨てられていました。キーが付いているが、紙が出てきそうな様子がありません。ウチの会社のページにもそのタイプライターの写真が載っています。*1何だろうと思っていたのですが、結局聞…
via http://camltastic.blogspot.com/2009/02/photos-from-ocaml-users-meeting.html フランスはグルノーブルで OCaml User Meeting が開かれたようですね。ああ、なんだか懐かしい顔がたくさん、、、 と思ったら、ウチのロンドンオフィスの奴もいるじゃねぇ…
トレーダーの取引御用達、やたらカッコいいBloomberg のキーボードを某所から手に入れました: ちょっとレトロモダンっぽいデザインがこれまたレトロモダンな新居に合います。 このキーボードは: プログラマには使い道の無さそうな色つきキー多数 スピーカー…
OCamlプログラマということで、駱駝関係の物を細々と集めているのです。 谷中銀座にある、満々堂という色々変わったコーヒーが置いてあるカフェで、週末の昼によくカレーを食べるのですが、これがおいしい。爽やかな辛さに大根の味が良くマッチする大根カレ…
Jane Street が毎年行っている、教育機関での関数型言語系オープンソースプロジェクトへのファンディング募集が今年も始まります。(http://ocaml.janestreet.com/?q=node/57) 今年からは OCaml だけではなくて、他の関数型言語のプロジェクトも歓迎だそうで…
谷中から池之端へ、約一キロ強？の引越しです。 前々から引越ししたかったのですが、金融危機で会社がどうなるかイマイチ不安だったので様子を見ていました。幸い潰れなかったので(というか、順調なので)引越ししました。といってもこの先どうなるか判りませ…
