Haskell咖喱功能和括号

Question

嗨，这可能是一个非常简单的问题，但我对此有疑问。 我正在尝试使用以下公式生成根函数：

 roots a b c = ((-b + t)/a', (-b - t)/a')
 where
 t  = b ^ 2 - 4 * a * c
 a' = 2 * a

我现在正在尝试使其成为咖喱函数，但是我似乎无法使其正常工作，这就是我所说的：

roots:: Double -> (Double -> (Double -> Double))

有人可以帮我吗？

谢谢！

Answer 1

在Haskell中，功能会自动进行处理。 因此，您无需做任何特殊的事情即可让他们咖喱。

您的函数root是roots类型roots:: Double -> Double -> Double -> (Double, Double) 。 这样的事情会进行类型检查： let a = roots 3.0原因是因为存在柯里化。

如果您的roots函数没有被管理，那么它可能具有这样的类型： roots:: (Double , Double , Double) -> (Double, Double)这不是编写函数定义的正确方法。

Answer 2

据我所知（但我不是专家，到目前为止只有两节课“关于Haskell”），该函数获取3个输入参数并产生一个输出（如您的示例所示），应这样写：

roots:: Double -> Double -> Double -> Double

链中的最后一个元素（第四个Double）是返回类型，所有先前的元素都是输入参数类型。 这应该可以解决问题