Question

我用来练习/学习Haskell。我无法理解为什么给定情况对我的示例本地代码有效，而对CodeWars不起作用。

在代码战中：

GeometryReader{g in
    ZStack {
        Circle().strokeBorder(Color.red, lineWidth: 30)
        Text("Text")
            .font(.system(size: g.size.height > g.size.width ? g.size.width * 0.4: g.size.height * 0.4))
    }
}

这给了我

module Codewars.Kata.Negative where

makeNegative :: (Num a) => a -> a
makeNegative x = x + x
makeNegative = error "todo: makeNegative"

但是当我在本地测试时：

Codewars/Kata/Negative.hs:4:1:
    Equations for `makeNegative' have different numbers of arguments
      Codewars/Kata/Negative.hs:4:1-22
      Codewars/Kata/Negative.hs:5:1-41

它正确返回6。我什至无法尝试解决问题，因为编译器抱怨参数。我 kinda 知道Num是“类型类”，但是我不知道在代码战中它是如何工作的。我猜这是因为那里有“ where”子句。

Answer 1

问题出在您对makeNegative的定义上。注意定义的三行：

makeNegative :: (Num a) => a -> a
makeNegative x = x + x
makeNegative = error "todo: makeNegative"

第一个是类型签名，然后是两个定义。当对参数进行模式匹配并处理不同情况时，通常会提供多个定义。但是，在这种情况下，模式匹配将永远不会失败；因此error行将永远不会运行。

不管它永远不会运行； Haskell仍然要求函数的所有实现都具有相同数量的绑定参数，makeNegative x =绑定一个参数（即x）；但是第二个定义makeNegative =不绑定任何参数。在这种情况下，它看起来像是一个占位符定义，因此您只需删除带有error的行，它就可以工作。

您的example测试只有一个定义，因此不会遇到此问题。

“ someFunction”的方程式具有不同数量的参数（CodeWars）

1 个答案: