関数型言語ML (SML, OCaml, etc.), Part 6

[597 デフォルトの名無しさん 2013/03/24(日) 17:14:56.10]

OCamlで、(=)等を渡す
let check b f = if b then f 1 1 else f 1.0 1.0
みたいな関数を定義したいんですけど、こういったやり方は駄目ですか？
そのままだとfはintを取ると推論されて？エラーになるので、
型を(f: 'a -> 'a -> bool)と指定してみたんですが変わりませんでした。