“某类函数”的方程有不同的参数数
“某类函数”的方程有不同的参数数
提问于 2019-11-28 16:42:53
我用它来练习/学习Haskell。我很难理解为什么给定的情况会在我的示例本地代码上工作，而不能在CodeWars上工作。
关于码战：
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但是当我在本地测试时：
import Data.List
import System.IO
example :: (Num a) => a -> a
example x = x + x
main = do
print (example(3))它正确地返回6。我甚至不能尝试解决这个问题，因为编译器会抱怨这些参数。我知道Num是一个“典型的类型”，但我不明白在代码战中，它是如何工作的。我想是因为“哪里”这句话。
回答 1
Stack Overflow用户
回答已采纳
发布于 2019-11-29 19:59:26
问题在于您对makeNegative的定义。注意，定义有三行：
makeNegative :: (Num a) => a -> a
makeNegative x = x + x
makeNegative = error "todo: makeNegative"第一个是类型签名，后面是两个定义。在对参数进行模式匹配和处理不同情况时，通常会提供多个定义；但是，在这种情况下，模式匹配永远不会失败；因此，error行永远不会运行。
不管它永远不会运行这一事实；Haskell仍然要求函数的所有实现都有相同数量的绑定参数，makeNegative x =绑定一个参数(即x)；但是第二个定义makeNegative =不绑定任何参数。在本例中，它看起来是一个占位符定义，所以您可以使用error删除行，它应该可以工作。
您的example测试只有一个定义，因此不会遇到这个问题。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/59093287
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号