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]

復(fù)制代碼

以前一直認(rèn)為這種寫法只是用在 pattern match 中呢 ？沒想到直接綁定也可以

python 中有一種寫法：

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

復(fù)制代碼

在 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

復(fù)制代碼

再推廣一下：
除了常量、字符串外，任何其他 pattern matching 形式都可以被用到 Variables Binding 中
pattern 幾種形式請參考帖子：>>>Haskell語法參考(點(diǎn)擊此處)<<<中7. Patterns(模式)

1. 
   
2. Prelude> let x = 1                                --name
   
3. Prelude> x
   
4. 1
   
5. Prelude> let _ = 1                                -- _ 雖然這個(gè)語法正確，但不產(chǎn)生任何作用
   
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)

復(fù)制代碼

[ 本帖最后由 izhier 于 2009-5-1 19:12 編輯 ]

izhier

一個(gè)經(jīng)典的用法是 scanr 函數(shù)的定義：

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
   

復(fù)制代碼

flw

糾正一下，Haskell 中并沒有“賦值”，
你所說的【以前一直認(rèn)為這種寫法只是用在 pattern match 中呢】真是對極了，
let xss@(x:xs) = [1, 2, 3, 4] 正就是模式匹配。

izhier

原帖由 flw 于 2009-4-28 21:02 發(fā)表
糾正一下，Haskell 中并沒有“賦值”，

嗯，應(yīng)該叫 Variables Bindings
我改過來

izhier

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

這個(gè)倒是沒在書上看到過
書上說是 Let Bindings
如果在代碼中，應(yīng)該是 Bindings

應(yīng)該是其中用到了 pattern,沒有 matching(比較) 的含義吧
pattern matching (比較) 用在函數(shù)中來選擇某一分支吧 ？

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

izhier

找到了，這個(gè)形式應(yīng)該叫模式綁定
在 >>>Haskell語法參考(點(diǎn)擊此處)<<< 中的2. Pattern bindings(模式綁定)

竟然把它給忘了