OCaml の予約語を適当に並べたら何か標語が出来ないかなと思って。 try new fun of function with type new もあるし何となく OCaml っぽくていいかな？それだけです。 # try new fun of function with type;; Characters 8-11: try new fun of function wit…

前の会社は気に入っていたのですが、会社が東京を見捨てることになったので、東京で働き続ける道を選んで転職しました。ちょうど子供が生まれる時だったので移住は難しいと判断したのです。会社も判ってくれましたし、今でも会社の人たちとは連絡を取ってい…

前回の日記でこのような問題を出しました: 問題 次の twice 関数は、第一引数である関数 f を第二引数 x に二回適用する高階関数です。 let twice f x = f (f x) この時、次の各式の結果は以下のようになります: 式 ==> 結果 twice ((+) 1) 0 ==> 2 twice tw…

ちょっとした高階関数を使ったパズルです。前の会社の面接で使おうかなあと思っていたのですが、使う機会もなくなったので。全く別の機会に、高階関数を教えるための例を書いていて、遊んでいたら面白いものを見つけたので覚えていたのです。 # let twice f …

いまいち論理展開の判らない記事なんだけれども、 英語公用語化と都内超高層化 楽天が英語を公用語化する、という話を聞いて、都内の超高層化を思い出した。 三木谷氏は「日本人を覚醒させるキッカケとして、英語を公用語化する」と 発言しているようだが、 …

昨日はインド人街までメトロで行きました。地下鉄二駅ほどで片道 50円でした。ネットで話題になっていた有名カレーレストランは、上品そうに見せかけて、そうでもなさそうでしたから、パス。食品マーケットに付属している活気溢れるフードコートでガシッとビ…

開発チームの本拠、シンガポールに来ています。東京オフィスでは外資とは言え日本人が大多数なので日本語が一番よく聞こえます。前の職場では英語ばかりでそれが当然だと思ったので面食らってしまいました。シンガポールなら、英語だろうと思って乗り込みま…

;; has existed for long. Actually it is since the very birth of the ML functional language family: Edinburgh LCF ML by Robin Milner in the late 1970s has it already: http://books.google.com/books?id=Vm08AAAAIAAJ&lpg=PA163&dq=lcf%20manual%2…

コメント欄が無いのでトラックバックしておきます http://d.hatena.ne.jp/tatta/20100623/ # isz (isz (lit 0)) - : bool term = IsZ (IsZ (Lit 3)) !!! isz : int term -> bool termなので型エラーになってほしいのに．．． OCaml のバグじゃないかと疑って…

設定: HM は一応使える。Type class instance resolution はイメージしか持っていない。なのに Monad transformer に出会ってしまった。眉間のτとλ皺が特徴。 やつを追う前に言っておくッ！ おれは今やつのStateTをほんのちょっぴりだが体験した い…いや…体…

もう干からびていたとうわさの OCaml のための emacs mode、Tuareg が新しくなりました。オリジナルは 1.45.x 以降、1.46.2 あたりまで出たものの、何かエンバグして 1.46 系は取りやめ、そして作者が興味を失った？のか、そのままでしばらーく乾燥状態だっ…

Address of Starling software: http://www.starling-software.com/en/access.html Address of Tsuru Capital: http://www.tsurucapital.com/en/contactus.htmlHmmm. :-DI want to attend TSAC meeting for long, but now my kid does not permit me having …

それは、 偉大なるジョン・ハロップ師が既に去られた言語 その事に尽きる。師が興味を持たれた言語コミュニティーは荒れる。何故かは判らない。乱あるところすべからく師あり。師の去るところ平和あり。そう、Haskell は既に解放されたのだ。OCaml も数年前…

前回までのあらすじ:Haskell など OCaml に毛が生えたようなもの、ふふん、と、転職した俺様だったが、なんということだ、Haskell が、というか、インデントが読めない。深すぎて。どうしたらいいんじゃー!!http://d.hatena.ne.jp/camlspotter/20100520/1274…

というわけで今日は真面目に人の書いた Haskell のコードを読んでいたのです。適せん(どうしても変換できない)コメントや改行を入れつつ。基本的に読みやすいコードなのですが、、、やはり一行 200文字を越える辺りから解読不可能というか恐ろしく読む気が削…

OCaml はイカレタ言語なので the Y combinator が書けません: $ ocaml Objective Caml version 3.11.2+ocamlspotter # let y = fun f -> (fun x -> f (x x)) (fun x -> f (x x));; Characters 32-33: let y = fun f -> (fun x -> f (x x)) (fun x -> f (x x)…

さて、今度の会社は色々と研修や事務手続きなどありまして、さすが巨大な企業です、中々仕事に取り掛かれませんでした。ようやく今日ちょいと Haskell プログラミングの真似事などを始めましたよ。 読めねー いえ、一応私、関数型言語の研究などやっておりま…

ほとんど個人メモ omake 化 : 全ての ocaml 関連コード、他人、自分のをひっくるめて一つの OMakeroot で管理。ほとんど出来たうえに omake マスターとなった、かもしれない。鍵はキモイけど便利な namespace をどう理解するか、のようだ。 一月前から camli…

すいません、いつもより(といっても数日間＝いつもですが)十分ほど遅く電車に乗ったら朝も千代田線混んでました。逆に言えばチョット早く出てチョット早く帰れば無問題! それより何より地上線に慣れていた私に地下の電波の切れ感が不快。あと前の会社に iPho…

ああなるほど、19:00 になると千代田線もちょっと混みますね、、、 18:00 に帰っちゃだめですかそうですか。それでも帰りますよ。発言の釣り度はともかく私は心情としては「ニートの海外就職日記」の例えばこの記事 http://kusoshigoto.blog121.fc2.com/blog…

通勤が山手線から千代田線に変わりました。 なんだ、ひどい、ひどいって聞いてたけど、全然混んでねー。これで混んでるって言ってたら同時刻の山手線乗れないよ？ 大手町でかなり降りていくし、、、結構な確立で日比谷とかから少し座れます。 帰りは帰りでさ…

こんなん見ました。 Haskell は C よりも早かったりするらしい それはすごい! いくらなんでも Haskell すごすぎる!! そしてそれがホントなら私が昨日からはじめた Haskell 関係のお仕事はなくなって私は馘になります。私も Haskell facts を作りました: Hask…

先日東京で OMake ビルドシステムについて情報交換する会が開かれたのですが、その成果としてこんなものを紹介してもらいました: http://code.google.com/p/omake-jp/source/browse/#hg/omymakefile omake で色々便利にする hack です Makefile で書いてある…

Jane Street は先月末で退職いたしました。経緯はこちら: http://d.hatena.ne.jp/camlspotter/20100325 。 で、山王パークタワーにある会社(消費者庁じゃないよ!!)*1に就職したはずなのですが、まだ出勤しておりません。連休だからですね。別に意図した訳で…

私の母からのレポート。私の生後二週間後の写真があるのですが、それが今、生後二週間の駱太郎とそっくりなんだそう。 所用があったので、ちょっと実家に帰ってアルバムを見てきました。 気持ち悪い位そっくり。駱太郎の親に間違いありません。 当の駱太郎は…

皆様からの温かいお言葉を http://d.hatena.ne.jp/camlspotter/20100326/1269627469 で頂きました。ありがとうございます。 駱太郎(ネット通称名)は元気でやっております。圓駱襲名を目指すそうです。 生後一週間にして母乳を吸う方法に彼なりの最適化(めん…

id:nekora さんはブクマしました： どうやら関数型言語は用途が相当限られている模様。やはりコンピュータを使って何か問題を解決したい時に学ぶべきは手続き型か。 2010/03/26 仰る事は判りますが、ちょっと補足させてください。金融で関数型パラダイムが流…

今日 3/26、といっても昨日ですが、長男が生まれました。とりあえず健康そうです。頑張った妻に感謝。 彼のために日本に残る決断をしました。無事生まれてきてくれてよかった。

この二年仕事をしてきた会社ですが、アジア圏での更なる発展をめざし、東京オフィスを香港に移転することになりました。(http://www.cufp.org でも既に東京の求人は止めて、香港で出しています。) え、どこの会社？まぁ調べてくださいよ。(追記: Jane Street…

(add-hook 'tuareg-mode-hook '(lambda () ;; indentation rules (setq tuareg-lazy-= t) (setq tuareg-lazy-paren t) (setq tuareg-in-indent 0) (setq tuareg-electric-indent nil) (setq tuareg-leading-star-in-doc t) (setq tuareg-with-indent 0) (set…