2012-01-01から1年間の記事一覧

Emacs + typescript-tools + auto-complete + flymake

引き続き TypeScript の環境整備。普通に flymake を使うと毎回 node tsc.js が走ってしまうのと取れるエラーの数に制限がかかっているのを解消するために typescript-tools からエラーをとれるようにして flymake に流しこむ。普通に flymake の初期化を定…

Emacs で TypeScript を auto-complete 使ってコード補完

Services.TypeScriptServicesFactory() 経由で補完情報を取れたのでそれを auto-complete につなげた。 公式の TypeScript.el だと (typescript-mode-hook) のフックが無いのでそっちも更新。今のところ同一ファイルか lib.d.ts で定義されたメンバーだけ使…

js_of_ocaml

ハマったところ幾つかメモ。Js.Unsafeは名前の通りUnsafeだった。 Js.Unsafe.variable Js.Unsafe.variableはごく普通にjs_of_ocamlが生成する関数内のスコープでが展開される。 何が起こるかというと、js_of_ocamlが生成する変数と名前の衝突が起こり、本当…

js_of_ocaml tips

make js_of_ocamlではグローバルな名前空間に関数が置かれてしまう。 また、外部の型付けの弱いライブラリを呼び出すときには、OCamlの型をつけることも難しく、Js.Unsafe.eval_stringも若干冗長。そこでOCamlで記述する範囲とは別にJavaScriptを書いて intr…

XMLVM

最近、XMLVMを触ってる。 JavaバイトコードやCILを、XMLVMの名前通りXML形式の中間表現に変換し、それをXSLTなどでC/Objective-CやJavaScriptを出力している。直近の日記がそればっかだけど、飽きずにaobenchを例にすると、Javaのコードが void intersect(In…