OCaml

センカンロボテヌグイ

いや、OCaml Meeting 当日は選挙の投票日なので、参加される有権者の方はぜひ期日前投票を、ってだけです。お騒がせしました。 台東区で投票したらこんな物くれた。下町のマクロス(戦艦ロボ)。

続: OCaml Meeting Tokyo 2009 懇親会についてのお知らせComments

OCaml Meeting Tokyo 2009 開催後、17:15 位から懇親会を行います。場所が決定しました。 とん豚テジ 本郷店 (東京都文京区本郷2-40-13) 4000円飲放題 35人max 現在25名 お申し込みは atnd (http://atnd.org/events/1336) からお願いしまーす。

OCaml Meeting Tokyo 2009 懇親会についてのお知らせ

人が集まりませんのでシュンとしておりましたが、どうやら広報不足の様でして、アナウンスいたします。OCaml Meeting Tokyo 2009 開催後、17:15 位から懇親会を行います。場所は本郷近辺、会費は4000円以下。取り敢えず人数25人くらいで会場を抑えます。お申…

OCaml Meeting にて OCaml Golf Contest を開催します!!

OCaml Golf についてお話してくださる中野さんのご提案で Golf Contest を行います!! Meeting 数日前に問題を発表。OCaml Meeting ですので OCaml で考えてください。 当日も開始時に問題を紹介します。 中野さんのお話を聞くと数バイトコードが短くなるかも…

CamlP4 では OCaml の lexer 拡張はできない。じゃあどうするか。んでもって OCaml で俺の糞 Perl を駆逐したいという話。

CamlP4 は lexer も parser も定義することが出来て、パース結果を元に計算させたり、他の言語のプログラムテキストや Caml の abstract syntax tree に変換することが出来ます。 また、CamlP4 ではパースルールに名前をつけることができ、この名前を使うこ…

CamlP4 で遊んでみた

今まで何となく手を付けていなかった CamlP4 で OCaml の文法を拡張してみました。 実はそんなに難しくない CamlP4 による文法拡張: コンパイル方法、使用方法はほぼお約束。 Make functor 周りもお約束。 既存のパースルールを DELETE_RULE で剥ぎ取り、 EX…

追記: OCaml コード中の日本語(特に Shift_JIS) の扱いと OCaml 大駱駝パッチ

まず本記事参照: http://d.hatena.ne.jp/camlspotter/20090803/1249271478 コードの頭に変なキャラクタがあったようなんだけど、何をやったんだろう? どうやら一バイト目ではまるのは、 UTF-8 の BOM を書き込むエディタのせいらしいです。(参考: http://bl…

今日の OCaml RSS

Richard WM Jones: A beginners guide to OCaml internals OCaml Alliance のサイト COCAN.org を主催する Richard Jones が OCaml 内部を判りやすく開設した連載を始めました。読みましたが確かに判りやすい。OCaml 以外でも GC 付きコンパイラの内部に興味…

OCaml コード中の日本語(特に Shift_JIS) の扱いと OCaml 大駱駝パッチ

OCaml の対話型インタプリタと文字コード (一人読書会番外編) http://d.hatena.ne.jp/h810tsukagoshi/20090802/1249233046 OCaml, 一人読書会 ( プログラミングの基礎 ) 問 4.8 をやっていたときのこと。 # #use "C:/Program Files/Objective Caml/mylib/tsu…

スクリーンショット

上の画像は、、、

Shift_JIS でエンコードされた漢字の二バイト目には \(backslash) を含むことがあり*1、これが、Shift_JIS を使った OCaml 文字列のパースを邪魔します。ダメ文字問題として知られています。 OCaml toplevel の演算結果の表示では、コントロールコードや 0x8…

OCaml で書かれた PDF Editor for OS X

Mac OS X でもバリバリと OCaml プログラミング出来るみたいですね: Caml-based OS X PDF Editor - Beta testers wanted (http://coherentpdf.com/blog/?p=37) この人たちは cocoa と OCaml のインターフェースも作ってたりするんだけど、流石にそれは公開し…

OCaml Meeting 2009 in Tokyo: プログラム出来、とか。

暑いですねー。なんだか休日なると冷房を入れない家に居るから、暑くて暑くて夏を実感、と思ってたらこの頃は平日でも朝が暑くて目が覚めます。 Meeting の準備は、まぁぼちぼち、といったところでしょうか。進んでいるところと進んでいないところ、あります…

OCaml Meeting 2009 in Tokyo : ライトニングトーク大募集!!

ライントニングトークをしていただける人を8名ほど募集します!! 一人お話5分+質問タイム2分。 OCaml に関係あれば開発からグループ紹介まで基本的に何でも歓迎です。 希望者は String.concat "." ["jun"; "furuse@gmail"; "com"] までご連絡ください。

衆院選は期日前投票を!!

先ほど入ったニュースによりますと: 衆院21日にも解散、8月30日投開票 首相と与党合意 (朝日新聞) 8/30 は OCaml Meeting 2009 in Tokyo の日でもあります。当日は朝から夕方まで OCaml づくし。Meeting が終わってからも多分懇親会がありますから当日投票す…

で出来たポスターがコレ

OCaml Meeting 2009 in Tokyo のポスターが出来ました。ウダウダやったおかげでようやく納得行く物が出来ました。まだ手を入れようと思えば入れれる所がありますが、取り敢えず大体完了です。まー後は、今日今から伊東屋寄って筆ペン買ってみるけど、うまく…

温泉に行きたいそうです

hamatz さん曰く、(http://twitter.com/hamatz/status/2342523208) 『湯けむりOCaml - 月の砂漠編 -』ってナカナカ良い感じだと思いませんか? いやちゃうやろ。 OCaml三人旅シリーズ 御宿湯けむり月の沙漠殺人事件 全員プログラマの合宿で連続殺人!童謡に…

State パターンっていうの?ああいうやつ?

2ch にこんなんあったよ。 オブジェクトを使わずにステートマシンを作るのによい方法はありますか?勉強のためにStateパターンをモジュールを使ってやってみようと思ったのですが、 相互依存を回避するうまい方法が思いつきません。 また、状態をそれぞれ別…

Phrase terminator ;; について

なんだか OCaml の syntax についていちゃもんをつけている人がちらほらと。 ほとんどは「俺様好き好き言語と違うからイヤ」という言いがかりレベルに近いので、ほっときます。ただし、次の 2ch ML板のコメントは理解できます: SMLから入ったからOCamlのシン…

OCaml Meeting Tokyo 進捗

参加意志を表明していただいた方が40名になりました! 嬉しいです。 私としてはまだ大きくアナウンスしたつもりではなかったのですが、有り難うございます。運営の方は順調に進めております。URL: http://atnd.org/events/738スペースはまだまだありますので…

あんけいと

私は何を話したらいいですか?ネタは OCaml 改造指南 あいも変わらず GCaml OCamlSpotter Jane Street Core わたし以外にも Jane Street から誰か出せる*かも*しれませんが、英語です。

OCaml Meeting Tokyo 2009 の場所と日時が決まりました

取り敢えずの速報です。皆様のご都合が合えば良いのですが。 OCaml Meeting Tokyo 2009 日時: 8/30(日) 9:00すぎ〜17:00ころまで (その後懇親会) 場所: 東大本郷キャンパス山上会館大会議室 話題: 関数型言語 OCaml に関する話題なら硬軟取り混ぜて何でも! …

integer overflow at int_of_string

OCaml をインストールして数日でバグを見つけた方を発見!!新米CShaperの他言語日記(http://d.hatena.ne.jp/green_csharper/20090529/1243709860) # 1073741824;; - : int = -1073741824 <= コレは何?? # 1073741825;; Characters 0-10: 1073741825;; ^^^^^…

OCaml Meeting Tokyo 2009 を開きます!!

この夏に OCaml に関するミーティングを東京で行いたいと思います! OCaml Meeting Tokyo 2009 OCaml に特化した(多分)日本初の会議 関数型言語 OCaml。1994年に大元となる CAML が実装されて以来、長らく研究者用の「おもちゃ」に留まっていた OCaml ですが…

Scalar は関数型言語ではない

Scala is Not a Functional Programming Language http://enfranchisedmind.com/blog/posts/scala-not-functional/ Harrop 大活躍 Scalar は関数型言語ではない、closure のある OO 言語である。 読みものとして面白かった。両方共妥当な主張。

きもい OCaml

良い子は真似をしないように。たぶんすぐ fix されちゃうと思う。 $ ocaml Objective Caml version 3.11.0 # type t = () | true | false | :: ;; type t = () | true | false | ::

キモい Camlp4

let map ~f = List.map f let _ = map [1;2;3] ~f:fun x -> x は ocaml では括弧が無いので当然 syntax error ですが、camlp4o だと error になりません。 似ているようで微妙に違うパーサが二つあるのは良くないと思います。

今日のOCaml RSS

ニューヨークで OCaml を使った仕事 NY で二件、ヘッジファンドで OCaml もしくは関数型言語系プログラマの仕事があるようで、ヘッドハンターが連絡を待っているそうです。給与は 150K$ と 120K$+bonus なので、1500万円位。私の給料と比べると、、、うーん…

今日の OCaml RSS

OCaml 3.11.1 は二週間後 という電波をどこからか受信した。バグフィックスっぽい。 arm backend / OCaml on iPhone Caml-list: (http://groups.google.com/group/fa.caml/browse_thread/thread/e411d2051ead4b4/4d6185121fe2efbd?lnk=gst&q=arm+backend#4d6…

改造: $Caml で home made overloading

alpha1 が出来ました: http://jun.furuse.info/hacks/gcaml backtrack して overload resolution を行います。ほとんど Haskell type class と同じ。 overlapping instance とか fun deps とか、そんな面白いものはありません resolution 上限が無いので変な…