2005-12-01から1日間の記事一覧

遅い

なにが遅いって、自由変数の計算が遅い。なぜ遅いのかというと、環境の自由変数を求めているときに、何度も同じ型の自由変数を求めているから。今日中に直す。*1 *1:とか宣言するほど大した問題じゃないけど

GCamlでやってみた。自明な例ですが。 # let x = generic 1 | 1.0;; val x : [| int | float |] = <generic> # x;; - : { 'a < [| int | float |] } => 'a = <generic> # let y = generic 2 | 2.0;; val y : [| int | float |] = <generic> # x+y;; - : int = 3 # x+.y;; - : float = 3.</generic></generic></generic>…

オーバーローディングが型推論できるんだから、タグ無しのバリアント型みたいのってできないのかな、という思いつき。便利かどうか知りませんけど。