Haskell 中的模式绑定

Question

Haskell 可以这样绑定，一举三得

1. Prelude> let xss@(x:xs) = [1, 2, 3, 4]
2. Prelude> xss
3. [1,2,3,4]
4. Prelude> x
5. 1
6. Prelude> xs
7. [2,3,4]

复制代码
以前一直认为这种写法只是用在 pattern match 中呢 ？没想到直接绑定也可以

python 中有一种写法：

1. >>> point = x, y = 1, 2
2. >>> point
3. (1, 2)
4. >>> x
5. 1
6. >>> y
7. 2

复制代码在 Haskell 中类似的一种写法：

1. Prelude> let point@(x, y) = (1, 2)
2. Prelude> point
3. (1,2)
4. Prelude> x
5. 1
6. Prelude> y
7. 2

复制代码再推广一下：
除了常量、字符串外，任何其他 pattern matching 形式都可以被用到 Variables Binding 中
pattern 几种形式请参考帖子：>>>Haskell语法参考(点击此处)<<<中7. Patterns(模式)

2. Prelude> let x = 1                                --name
3. Prelude> x
4. 1
5. Prelude> let _ = 1                                -- _ 虽然这个语法正确，但不产生任何作用
6. Prelude> let (x, y, z) = (1, 2, 3)             -- (pat1, pat2 ... , patn)
7. Prelude> x
8. 1
9. Prelude> y
10. 2
11. Prelude> z
12. 3
13. Prelude> let x:xs = [1, 2, 3]                  --pat1:pat2
14. Prelude> x
15. 1
16. Prelude> xs
17. [2,3]
18. Prelude> let [_, x, y] = [1, 2, 3]
19. Prelude> x
20. 2
21. Prelude> y
22. 3
23. Prelude> let 'a':'b':'c':x:xs = "abcdefg"
24. Prelude> x
25. 'd'
26. Prelude> xs
27. "efg"
28. Prelude> let points@[point1, point2, point3] = [(1, 2), (3, 4), (4, 5)]                 --name@pat
29. Prelude> points
30. [(1,2),(3,4),(4,5)]
31. Prelude> point1
32. (1,2)
33. Prelude> point2
34. (3,4)
35. Prelude> point3
36. (4,5)

复制代码
[ 本帖最后由 izhier 于 2009-5-1 19:12 编辑 ]

Answer 1

找到了，这个形式应该叫模式绑定
在 >>>Haskell语法参考(点击此处)<<< 中的2. Pattern bindings(模式绑定)

竟然把它给忘了

Answer 2

原帖由 flw 于 2009-4-28 21:02 发表
let xss@(x : xs) = [1, 2, 3, 4] 正就是模式匹配。

这个倒是没在书上看到过
书上说是 Let Bindings
如果在代码中，应该是 Bindings

应该是其中用到了 pattern,没有 matching(比较) 的含义吧
pattern matching (比较) 用在函数中来选择某一分支吧 ？

[ 本帖最后由 izhier 于 2009-4-28 22:02 编辑 ]

Answer 3

原帖由 flw 于 2009-4-28 21:02 发表
纠正一下，Haskell 中并没有“赋值”，

嗯，应该叫 Variables Bindings
我改过来

Answer 4

纠正一下，Haskell 中并没有“赋值”，
你所说的【以前一直认为这种写法只是用在 pattern match 中呢】真是对极了，
let xss@(x:xs) = [1, 2, 3, 4] 正就是模式匹配。

Answer 5

一个经典的用法是 scanr 函数的定义：

2. scanr               :: (a -> b -> b) -> b -> [a] -> [b]
3. scanr f q0 []       = [q0]
4. scanr f q0 (x:xs) = f x q : qs
5.                           where qs@(q:_) = scanr f q0 xs

复制代码