Haskell 中的模式绑定

izhier

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(模式)

1. 
   
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 编辑 ]

izhier

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

1. 
   
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
   

复制代码

flw

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

izhier

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

嗯，应该叫 Variables Bindings
我改过来

izhier

原帖由 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 编辑 ]

izhier

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

竟然把它给忘了