關(guān)于函數(shù)參數(shù)

sw2wolf

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明明有兩個參數(shù), 為何能用一個參數(shù)調(diào)用 (readDate 0) ?

win_hate

若 f 的簽名為 a->b->c

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

readUTCDate :: String -> CalendarTime
readUTCDate = readDate 0

readDate :: Int -> String -> CalendarTime

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

sw2wolf

這就是currying ?

謝謝!

MMMIX

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

嗯。

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