haskell - 括号中逗号分隔的名称是什么意思 - 作为绑定(bind)？

Question

在文档 ( https://riptutorial.com/Download/haskell-language.pdf ) 中，第 5 章:箭头，我遇到了以下示例:

spaceAround :: Double -> [Double] -> Double
spaceAround x ys = minimum greater - maximum smaller  where (greater, smaller) = partition (>x) ys

表达式 (greater, smaller) 是什么意思？

Answer 1

partition 函数返回一对或 2 元素元组作为其结果。将该元组分配给 (greater, smaller) 会将对的第一个和第二个元素的值分别分配给两个变量 greater 和 smaller。

如果您熟悉 let...in 语法，另一种编写此函数的方法如下:

spaceAround2 :: Double -> [Double] -> Double
spaceAround2 x ys = 
    let myPair = partition (>x) ys
        greater = fst myPair
        smaller = snd myPair
    in minimum greater - maximum smaller