![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
トップページ
OCaml Tips
- モジュールシステム紹介
- let多相紹介
- ヘテロなリスト
- 幽霊型
- OCamlでモナド
- 再帰型(Equi-recursive)
- サンタクロース問題
- デーモンの例
- Expression Problem
- ivarの必要性
- OSC2008In名古屋
ネタ記録庫
関数型言語によるWeb開発
ScalaByExample(訳)
限定継続
お勉強リンク
発表資料
活動記録
最新の20件
2016-02-23
2015-05-06
2015-05-04
2014-03-12
2012-05-22
2012-03-16
2012-03-03
2012-02-27
2012-02-03
2011-12-28
2011-12-10
2011-10-10
2011-09-29
2011-09-28
Thanks
by keigoi
日本語の解説 †
http://d.hatena.ne.jp/keigoi/20101101/1288584308
ocamljs あとでパッチおくる †
- max_int がおかしい(JSのintの範囲をこえる)ので closure compilerで圧縮できない
- 修正ずみ
- string_of_float min_floatがSafari/webkitでおかしい
- Safariのバグ。最新のwebkitビルドでは直っている。min_floatは使わないこと
- 一部日本語文字列リテラルが化ける (未報告)
- src/jscomp/jsgen.ml を以下の通りコメントアウトしてみる
let utf8_encode s = s (* let len = String.length s in Utf8.from_int_array (Array.init len (fun i -> Char.code s.[i])) 0 len *)
- 日本語文字が"\u5E74"のようにエスケープされてしまうが、出力には影響ない
- src/jscomp/jsgen.ml を以下の通りコメントアウトしてみる
- DateクラスのgetDayメソッド(曜日を取得)がない (未報告) http://jaked.github.com/ocamljs/doc/Javascript.date-c.html https://developer.mozilla.org/en/JavaScript/Reference/Global_Objects/Date/getDay
- getClientWidth?/getClientHeight?がない ← DOM標準ではないのでしょうがない？
- document.stylesheet.insertRule ほか stylesheetクラスのメソッド
- JavaScript? quote中の文字列リテラルのエスケープシーケンス \x100 などがおかしい (未報告)
パフォーマンス †
- 現時点のocamljsでは関数呼び出しのオーバーヘッドがかなりある
- 関数のカリー化や末尾呼び出しの最適化のため関数呼び出し1回につき2回の間接ジャンプがある(コールスタックが3倍に伸びる)
- 通常のPCでは全く問題ない。スマートフォンでもユーザとのインタラクションに影響があるほどではないが、数値計算などで扱うデータの量が多い場合には注意が必要（経験談）
- 生成されるJavaScript?は元のOCamlコードの原型が残っているので、Google Closure Compilerによる圧縮と併せて理想的なJavaScript?に落ちるようなOCamlの書き方を探すこともできる
- 特にモジュールをまたいだ呼び出しが最適化されないためListやArrayモジュールのほとんどが低速。効率化するならばまずmap/fold系の高階関数をやめfor式を使い、配列のアクセスを Array.unsafe_get / unsafe_set に置き換えるか、 a.(i)記法を使うならばoc$arefの境界チェックを外してclosure compilerで最適化する。
- このような最適化をプロファイルの後にごく一部で行うだけで劇的に改善できる。どうしても駄目なときはインラインJavaScript? << ... >> を使う。 型がないので注意
多相的な比較は超低速 (.jsのcompare_valを見よ) †
- min, maxも多相的
- 奥義・多相転生を使う
- 要するにintやfloat等の型をつければそれ専用の比較が行われるようになる
圧縮 †
基本的な事 †
- 使われていないモジュールはリンクされない。
- Printfはコードサイズを大きくしがち
- Randomを使うとInt64がついてくる
Google Closure Compilerによる 圧縮 †
- 以前はclosure compilerでSIMPLE_OPTIMIZATIONすると動かなかった(keigoiの日記参照)が修正された。
- closure compilerでADVANCED_OPTIMIZATIONすると動かないが、 出現する m.$oc などを m['$oc'] に置き換えれば動くようになる。 (未報告)
- ADVANCED_OPTIMIZATIONはいくらかdead code eliminationや簡単なインライン化もやってくれるので有用。
- ADVANCED_OPTIMIZATIONでは o.field 形式のフィールドアクセスにおけるフィールド名が全て o.a のように短縮されてしまうが、 o['field'] のように文字列にすれば短縮されない。詳しくはclosure compilerのページ参照
以下よりいいかげんなメモ †
- ocamljsの進化により無効になるテクニックや、そもそも根拠があいまいなものなど
- ADVANCED_OPTIMIZATION前提
パターンマッチはclosure compilerで最適化されない †
- NG
let a,b = expr1, expr2
- OK
let a = expr1 and b = expr2
let †
(function(){ var x = ...; expr }());
などと余計な呼び出しが挿入される(が、最適化で除去されることも？)。
