HaskellやMLは、理論の人、かなぁ。Lispは………カッコの人？

let x = object method f x = x+1 method g x = x-1 end;; let y = object method f x = x*1 method h x = x/2 end;; List.map (fun x -> x#f 3) [x; y];; 上のようなプログラムは、絶対にエラーが発生しないにもかかわらず、肩推論で弾かれる。これを通るよ…