亚洲av成人无遮挡网站在线观看,少妇性bbb搡bbb爽爽爽,亚洲av日韩精品久久久久久,兔费看少妇性l交大片免费,无码少妇一区二区三区

<cite id="x41jq"></cite>

Chinaunix

標(biāo)題: 關(guān)于函數(shù)參數(shù) [打印本頁(yè)]

作者: sw2wolf 時(shí)間: 2009-05-12 07:46
標(biāo)題: 關(guān)于函數(shù)參數(shù)
readUTCDate :: String -> CalendarTime
readUTCDate = readDate 0

readDate :: Int -> String -> CalendarTime
readDate tz d =
         case parseDate tz d of
         Left e -> error e
         Right ct -> ct

readDate明明有兩個(gè)參數(shù), 為何能用一個(gè)參數(shù)調(diào)用 (readDate 0) ?

作者: win_hate 時(shí)間: 2009-05-12 08:38
若 f 的簽名為 a->b->c

x 類型是 a，則 f x 是一個(gè)類型為 b-> c 的函數(shù)。

readUTCDate :: String -> CalendarTime
readUTCDate = readDate 0

readDate :: Int -> String -> CalendarTime

readData 簽名為 Int -> String -> CalendarTime，所以 readDate 0 應(yīng)該是 String->CalendarTime，正好跟 readUTCDate 的簽名是一致的。

作者: sw2wolf 時(shí)間: 2009-05-12 08:39
這就是currying ?

謝謝!

作者: MMMIX 時(shí)間: 2009-05-12 09:21

原帖由 sw2wolf 于 2009-5-12 08:39 發(fā)表
這就是currying ?

嗯。

另外，Haskell 的函數(shù)都是只有一個(gè)參數(shù)。

歡迎光臨 Chinaunix (http://72891.cn/)

<bdo id="g0tn1"></bdo>