うわやっべ。もうこんな時間。早く行かないと。

# let f = generic :int->int->int => fun x y -> x+y |:int->int => fun x -> x;; val f : [| int -> int -> int | int -> int |] = <generic>int->int->intとint->intがある関数に、intを一つだけ与えるとどうなるのか試してみる。</generic>

VisualStudioとか使ってると、識別子とかを全部タイプするのがめんどい。dabbrevとか使えば良いんでしょうけど、Alt+/はタイプするのがめんどくさい。のでShift+SPCに割り当てることにした。 (global-set-key "S-SPC" 'dabbrev-expand)とか書けばいける？

いやーいーわ、これ。あとは変なバグが残ってないことを祈るだけ。