我的功能不起作用。我尝试了许多不同的类型签名。如果我删除了类型签名,它不能用点号作为“p”。 fak :: (Num a, Ord a) => a->a
fak x
| x <= 1 = 1
| otherwise = x*fak (x-1)
ncr :: Integral a => a -> a -> a
ncr n k = (fak n) `div` (fak(n-
问题 为什么 val of_bindings : (key * '_a) list -> '_a t
val of_bindings : (key * 'a) list -> 'a t
不同的签名? 语境 我有一些地图扩展实现: MAPEXT.ml: module type T = sig
include Map.S
val of_bindings : (key * '