13/04/20 01:56:05.49 .net
>>597
よくわからないけど、型環境に intかつfloat みたいなのが積めないからだめなんじゃない？
確かこういうときはヴァリアントを使えばよかったはず
type intfloat = E | I of int | F of float
let check b (f: intfloat -> intfloat -> bool) = if b then f (I 1) (I 1) else f (F 1.0) (F 1.0)
13/04/20 01:56:05.49 .net
>>597
よくわからないけど、型環境に intかつfloat みたいなのが積めないからだめなんじゃない？
確かこういうときはヴァリアントを使えばよかったはず
type intfloat = E | I of int | F of float
let check b (f: intfloat -> intfloat -> bool) = if b then f (I 1) (I 1) else f (F 1.0) (F 1.0)