- 论坛徽章:
- 0
|
这两个函数做的事情是不同的,所以写法不一样。
- u2 :: [String] -> String
- u2 xss = foldr join [] xss
- where join xs ys = xs ++ “\n” ++ ys
复制代码
在这里, ys 是积累的值,注意到 u2 的类型,最后产出是 String,所以 ys 的类型是 String
xs 则是从 u2 的第一个参数(它是个列表)中提取的元素,所以 xs 的类型也是 String
String 相当于字符列表,若干个 String 连起来,直接用 ++ 就可以了。
- reverse xs = foldr snoc [] xs
- where snoc y ys = ys++[y]
复制代码
在第二段代码中, ys 也是积累的值,当 xs 是 String 时,其类型也是 String。
而 y 则是从 xs(它是个列表)中提取的元素。如果 xs 是个 String,也相当于 [Char],则 y 是个字符。
把字符附加到字符列表 ys 上,应该先把 字符提升成字符列表,再 ++.
[ 本帖最后由 win_hate 于 2009-4-6 22:48 编辑 ] |
|