亚洲av成人无遮挡网站在线观看,少妇性bbb搡bbb爽爽爽,亚洲av日韩精品久久久久久,兔费看少妇性l交大片免费,无码少妇一区二区三区

Chinaunix

標題: Haskell 中的模式綁定 [打印本頁]
作者: izhier    時間: 2009-04-28 19:19
標題: Haskell 中的模式綁定
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                                -- _ 雖然這個語法正確，但不產(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)
復制代碼

[ 本帖最后由 izhier 于 2009-5-1 19:12 編輯 ]
作者: izhier    時間: 2009-04-28 20:44
一個經(jīng)典的用法是 scanr 函數(shù)的定義：

  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    時間: 2009-04-28 21:02
糾正一下，Haskell 中并沒有“賦值”，
你所說的【以前一直認為這種寫法只是用在 pattern match 中呢】真是對極了，
let xss@(x:xs) = [1, 2, 3, 4] 正就是模式匹配。
作者: izhier    時間: 2009-04-28 21:52
原帖由 flw 于 2009-4-28 21:02 發(fā)表
糾正一下，Haskell 中并沒有“賦值”，

嗯，應該叫 Variables Bindings
我改過來
作者: izhier    時間: 2009-04-28 21:56
原帖由 flw 于 2009-4-28 21:02 發(fā)表
let xss@(x : xs) = [1, 2, 3, 4] 正就是模式匹配。

這個倒是沒在書上看到過
書上說是 Let Bindings
如果在代碼中，應該是 Bindings

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

[ 本帖最后由 izhier 于 2009-4-28 22:02 編輯 ]
作者: izhier    時間: 2009-04-28 22:05
找到了，這個形式應該叫模式綁定
在 >>>Haskell語法參考(點擊此處)<<< 中的2. Pattern bindings(模式綁定)

竟然把它給忘了



歡迎光臨 Chinaunix (http://72891.cn/) Powered by Discuz! X3.2