关于函数参数

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明明有两个参数, 为何能用一个参数调用 (readDate 0) ?

win_hate

若 f 的签名为 a->b->c

x 类型是 a，则 f x 是一个类型为 b-> c 的函数。

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 发表
这就是currying ?

嗯。

另外，Haskell 的函数都是只有一个参数。