我的功能不起作用。我嘗試了許多不同的類型簽名。如果我刪除了類型簽名,它不能用點號作爲「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 * '