Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
可能重复: 类型差异很小
在fsi:
fsi
> (>);; val it : ('a -> 'a -> bool) when 'a : comparison = <fun:it@12-2> > (fun x y -> x > y);; val it : 'a -> 'a -> bool when 'a : comparison = <fun:clo@15-4>
为什么第一个例子有()围绕类型定义,而第二个没有?
()