学习Haskell：where子句中的变量x从哪里来？

在Haskell中，where子句用于定义在函数体内部可见的局部变量。这些变量可以在函数体中的任何位置使用，但它们只对where子句所属的函数可见。

下面是一个示例代码，说明了where子句中的变量x从哪里来：

quadraticRoots :: Double -> Double -> Double -> (Double, Double)
quadraticRoots a b c
    | discriminant < 0 = error "No real roots"
    | otherwise = (root1, root2)
    where
        discriminant = b * b - 4 * a * c
        root1 = (-b + sqrt discriminant) / (2 * a)
        root2 = (-b - sqrt discriminant) / (2 * a)

在上面的代码中，我们定义了一个名为quadraticRoots的函数，该函数计算二次方程的根。在where子句中，我们定义了三个局部变量：discriminant、root1和root2。这些变量的作用范围仅限于quadraticRoots函数。

在函数体中，我们可以使用这些变量来计算二次方程的根。其中，discriminant的值通过使用a、b和c的参数计算得到。root1和root2的计算也使用了discriminant和a、b的参数。

通过使用where子句，我们将变量的定义和计算逻辑与函数体分离开来，使代码更加模块化和易读。

希望这个示例能够帮助你理解在Haskell中where子句中的变量x从哪里来。