为什么在haskell函数中添加负整数不起作用？
在Haskell函数中添加负整数不起作用的原因是因为Haskell中的函数默认使用了柯里化（Currying）的方式。柯里化是一种将多个参数的函数转化为一系列单参数函数的过程。在Haskell中，函数的参数是从左到右依次应用的，每次应用都会返回一个新的函数。
当我们在Haskell函数中添加负整数时，实际上是在对函数进行部分应用。例如，考虑一个接受两个整数相加的函数add，如果我们尝试在函数中添加负整数，比如add 5 -3，实际上是先对add函数应用了参数5，得到一个新的函数，然后再将参数-3应用于这个新的函数。由于Haskell默认的函数应用顺序是从左到右，所以这个表达式实际上等价于((-3) add) 5，即先将-3应用于add函数，然后再将5应用于结果函数。
这种函数应用顺序导致了在Haskell中添加负整数不起作用的现象。为了解决这个问题，我们可以使用括号来明确指定函数应用的顺序。例如，如果我们想要将-3添加到5上，可以使用括号将-3和5括起来，即add 5 (-3)。
需要注意的是，Haskell中的函数应用顺序和其他编程语言可能不同，这是由于Haskell的函数式特性所决定的。熟悉Haskell的开发者需要注意这一点，并在编写函数时注意参数的顺序和括号的使用。
关于Haskell函数和柯里化的更多信息，可以参考腾讯云的Haskell函数介绍页面：Haskell函数介绍
相关·内容
类型类Integral有两个操作quot和div，但在Haskell2010语言报告中并没有具体说明它们应该做什么。假设div是整数除法，quot有什么不同，或者quot的用途是什么？你什么时候用一个，什么时候用另一个？
浏览 0提问于2011-11-13得票数 57
回答已采纳
在Haskell中，我曾尝试寻找负整数的立方根，例如-1，但没有成功。
我使用了(-1) ** (1/3)，但这会返回一个NaN。我认为这可能与(1/3)分数的类型有关，但使用(1/3 :：Double)也没有成功。
因此，我的问题是如何使用Haskell找到-1的立方根，使其不返回NaN？
浏览 0提问于2017-09-17得票数 5
我有以下Haskell代码：
two :: Integer -> Integer
two i = toInteger(2 ** i)
为什么它不起作用？
浏览 0提问于2016-07-12得票数 0
JavaScript中的表达式-1 % 7给我的结果是-1。而在Python和Haskell中，我发现结果是6。
谁能解释为什么两者都有不同的行为？哪一个是正确的？
浏览 1提问于2016-12-20得票数 14
我刚开始学习Haskell，对ranges的行为感到惊讶。
我知道[1, 2 .. 10]是enumFromThenTo 1 2 10的语法糖。
从其他编程语言(例如Python)，我习惯于使用第一、最后和步骤参数指定范围，这样Haskell的范围就相当于Python中的first+step。
为什么Haskell会使用，而不是步骤来定义序列中值之间的间距？
浏览 7提问于2017-03-14得票数 7
回答已采纳
2回答
isOdd, isEven :: Int -> Bool
isOdd n
| n<=0 = False
| otherwise = isEven (n-1)
isEven n
| n<0 = False
| n==0 = True
| otherwise = isOdd (n-1)
我很难理解这段代码，在isOdd中，它只定义了什么是False，然后切换到isEven，那么haskell是如何知道n是奇数的呢？
浏览 2提问于2017-04-23得票数 4
在Haskell中，mod和rem到底有什么不同？
两者似乎给出了相同的结果
*Main> mod 2 3
2
*Main> rem 2 3
2
*Main> mod 10 5
0
*Main> rem 10 5
0
*Main> mod 1 0
*** Exception: divide by zero
*Main> rem 1 0
*** Exception: divide by zero
*Main> mod 1 (-1)
0
*Main> rem 1 (-1)
0
浏览 1提问于2011-05-05得票数 154
回答已采纳
4回答
谁能告诉我为什么Haskell前言定义了两个独立的求幂函数(即^和**)？我认为类型系统应该消除这种重复。
Prelude> 2^2
4
Prelude> 4**0.5
2.0
浏览 0提问于2011-06-19得票数 99
我目前正在使用学习Haskell，我在第4节中途休息了一下，以测试我的知识。我正在尝试实现一个“复合数中最大的素数”函数，这个函数是我在C中工作时使用的，但我在使用Haskell的输入系统时遇到了问题。我试图传递一个看起来像是小数Int的数字，但因为我使用了模数来检查它是否可除，所以我知道它的计算结果是Int。上下文是这样的：
C:我已经对它进行了超级注释，以防它不清楚，但代码应该相当简单。
int highest(long currDom, long lastLargest, long currMax)
/* This is a recursive function that starts
浏览 1提问于2012-03-06得票数 4
回答已采纳
1回答
为什么这个不起作用？
type RetryBuilder(max) =
member x.Return(a) = a // Enable 'return'
member x.Delay(f) = f // Gets wrapped body and returns it (as it is)
// so that the body is passed to 'Run'
member x.Zero() = failw
浏览 0提问于2012-02-10得票数 2
回答已采纳
我正在尝试用Haskell创建一个程序，它接受用户输入，将每一个输入行相加，并在用户输入负数时输出最终总和(具体来说，总和不包括负数)。我尝试
sumF1 :: IO ()
sumF1 = do
totSum <- sumF2 0
print totSum
sumF2 :: Int -> IO Int
sumF2 prev = do
n<-getInt
if n<0
then return prev
else sumF2 (
浏览 1提问于2015-11-28得票数 0
1回答
我有一个简单的Haskell程序的问题。它被认为是将一个数字n-1分解成形式(2^r)s，其中n是一个Carmichael数。这与我的问题并不相关，但它是下面的一组函数的目标。
divides::Int->Int->Bool
divides x y = not $ y `mod` x == 0
carmichaeltwos::Int->Int
carmichaeltwos n
| not $ divides 2 n =0
| otherwise = (+ 1) $ carmichaeltwos (n/2)
carmichaelodd::Int->In
浏览 1提问于2012-03-26得票数 1
回答已采纳
我在Access的表达式生成器中从数字字段中提取整数时遇到了问题。
以下是我认为可行的方法：
Left([NumField],InStr(1,[NumField],".")-1)
这不起作用。在运行我的查询时，我会弹出一个消息框，说明“无效的调用过程”
表达式前的字段= 1.4
表达式后的字段=1
因此，取整数并提取它。当然，整个数字可以是3、30或300。长度始终是不同的，所以不能使用长度为1的trim left。
有什么建议吗？
浏览 2提问于2013-04-02得票数 1
回答已采纳
在Haskell中，floor和truncate在功能上是否存在差异？
它们似乎执行相同的功能，并且具有相同的类型签名：
truncate :: (Integral b, RealFrac a) => a -> b
floor :: (Integral b, RealFrac a) => a -> b
浏览 6提问于2017-08-22得票数 12
回答已采纳
我一直想学习Haskell，所以最近我开始解决ProjectEuler问题。在编写以下分解代码时，我注意到调用(/ n)会返回一个Float，而调用(n `div`)会返回一个Int。我以为中缀符号只是Haskell中的语法糖？有人能解释一下是怎么回事吗？我也非常感谢您的任何意见/建议/改进，谢谢。
import Data.List (sort)
factor :: Int -> [Int]
factor 0 = [1..]
factor n =
let f1 = [f | f <- [1..limit], n `mod` f ==
浏览 2提问于2012-08-07得票数 3
为什么在Haskell 0^0 == 1？为什么不是0^0 == 0？或者应该引起一些错误..。
*Main> 0^0
1
*Main> 0**0
1.0
提前致谢
GHCi，7.10.3版
浏览 8提问于2017-07-19得票数 2
回答已采纳
2回答
为什么Swift使用这个函数表示法：
func greet(person: String, day: String) -> String {
return "Hello \(person), today is \(day)."
}
比如，我不明白为什么它使用小箭头->符号来指定返回类型。func identifier() -> Type而不是更明智的东西，比如Type identifier()。
我在Haskell中也看到过类似的符号，但是在Haskell中，这对我来说是有意义的，因为Haskell使用了咖喱函数，所以箭头表示函数的运行。很快，它就显得
浏览 0提问于2016-12-15得票数 0
我需要创建一个解析函数。我是Haskell的新手，我感兴趣的是，我的想法是否可以仅使用GHC基础函数在Haskell中实现。
所以问题是:我有一个带有坐标和值的字符串形式的So消息，比如(x: 01，01，...y:01，02，：v: X，Y，Z)，我需要像(Char，Int，Int)这样解析它的类型。
在像C这样的语言中，我会创建循环，然后从start开始，然后检查并将其放入数组中，但我担心这在Haskell中不起作用。有没有人能给出一个可以接近这个问题的解决方案？
浏览 0提问于2020-09-21得票数 0
为什么要通过液体Haskell验证？
{-@ sub :: Nat -> Nat -> Int @-}
sub :: Int -> Int -> Int
sub i j = i - j
从LH的角度来看，这是否意味着Nat和Int是一样的呢？
浏览 4提问于2019-05-23得票数 3
回答已采纳
我在Haskell中定义新的数据类型时遇到了问题。
我正在尝试创建一个数据类型NumPair，它将是一个包含两个整数或一个整数和另一个NumPair的元组。
例如，(2, 2), (0, 5), (1, (2, 3)) and (0, (4, (3, 121)))应该都是有效的NumPairs。
这是我写的代码，试图做到这一点：
data NumPair = (Int, Int) | (Int, NumPair) deriving (Eq, Show)
有人能解释一下为什么这个不起作用吗?我应该怎么做？
浏览 0提问于2012-11-06得票数 11
回答已采纳
2回答
我试图从一个列表中得到最大数字，使用的可能是&公正和递归。我已经计算出递归部分，但无法理解要使用的正确语法。
Haskell代码.
Max :: [Int] -> Maybe Int
Max [_] = []
Max (x:xs)
| x > (Max xs) = Just x
| otherwise = Max xs
输入
Max [1,2,78]
Max [-99,-12,-37]
编译错误消息
*Main> :l max.hs
[1 of 1] Compiling Main ( max.hs, interprete
浏览 0提问于2018-02-18得票数 1
2回答
Haskell编译器在以下函数中抛出错误：
balancedMax :: Int -> Int -> Int
balancedMax -1 _ = -1
balancedMax _ -1 = -1
balancedMax a b = max a b
翻转标志解决了这个问题：
balancedMax :: Int -> Int -> Int
balancedMax 1 _ = -1
balancedMax _ 1 = -1
balancedMax a b = max a b
为什么模式匹配在底片上失败，什么是干净的解决方法？
浏览 0提问于2013-06-07得票数 18
回答已采纳
嗨，我开始学习haskell，但是我想不出一个主题。
假设我有一个列表: 1,2,3，并且我试图写一个函数来在第n个位置插入元素。有什么线索我该怎么做吗？
浏览 1提问于2017-04-08得票数 1
2回答
假设我有一个整数表示Epoch时间，例如epoch = 1499055085，我想在Haskell中将它转换为UTCTime。我该怎么做？
在其他语言中，这是一项非常琐碎的任务，为什么在haskell中如此困难？
浏览 5提问于2017-07-04得票数 5
回答已采纳
例如，flat_map的类型规范如下。
flat_map(Enumerable.t(), (element() -> Enumerable.t())) :: Enumerable.t()
输入和输出数据类型的末尾有许多括号。为什么会有？
在TypeScript、Haskell或Rust等其他语言中，数据类型只是没有()的类型。
提前谢谢。
浏览 3提问于2019-12-09得票数 4
回答已采纳
作为Haskell和函数式编程的新手，并且主要来自Python背景，我想知道为什么下面的函数会导致Haskell中的堆栈溢出，即使我使用非常小的数字，如4或5作为输入变量，而Python中的完全相同的函数可以处理20以上的整数，而不会溢出。为何会这样呢？
countStairs <0 = 0
countStairs 0 = 1
countStairs n = countStairs(n-1) + countStairs(n-2) + countStairs(n-3)
我读过关于Haskell和堆栈溢出的其他回应，它们解决了代码优化和解决特定溢出代码的问题，而我感兴趣的是，这两种语言在这里
浏览 1提问于2011-12-31得票数 0
回答已采纳
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
int main()
{
int n,i,ele;
n=5;
ele=pow(n,2);
printf("%d",ele);
return 0;
}
输出为24。
我在代码：：块中使用GNU/GCC。
这是怎么回事？
我知道pow函数返回一个double，但是25适合int类型，所以为什么这段代码要打印24而不是25？如果n=4; n=6; n=3; n=2;代码有效，但是对于五个代码，它
浏览 1提问于2014-09-05得票数 29
回答已采纳
1回答
函数语言中的加泰罗尼亚数
、、、、
加泰罗尼亚数满足递推
当然，加泰罗尼亚数有一个包含二项式系数的封闭形式表达式。我们也可以用C_n {n-1}来表示C_.我想知道的是，如何在SML或Haskell等功能语言中实现这种卷积。
浏览 1提问于2014-02-08得票数 0
回答已采纳
我在Haskell工作，在这个错误中，对于真正大的浮点数z，sin(z)返回的值超出了范围- 1，1。
我第一次学习Haskell，所以我很少幸运地调试，当sin(z)返回超出上述范围的值时，程序就会崩溃，因为sin(z)是另一个函数的输入，它只接受范围内的值- 1，1。
此外，我无法访问其他函数，只能发送一个值，但是当sin(z)返回大于1或小于-1的数字时，它会继续崩溃。
有没有办法找出罪恶(Z)为什么要这么做？
浏览 7提问于2022-02-10得票数 -1
回答已采纳
5回答
对于这样的问题，我很抱歉。我不太确定Haskell中:和++运算符的区别。
x:y:[] = [x,y]
也是
[x] ++ [y] = [x,y]
至于给我带来这个问题的逆函数，
reverse ::[a]->[a]
reverse [] = []
reverse (x:xs) = reverse(xs)++[x]
为什么下面的方法不起作用？
reversex ::[Int]->[Int]
reversex [] = []
reversex (x:xs) = reversex(xs):x:[]
给出一个类型错误。
浏览 9提问于2009-11-30得票数 58
回答已采纳
我正在完成格雷厄姆·赫顿的“Haskell编程”一书中的练习，作为练习的一部分，我重新实现了Haskell的last函数，如下所示：
lasst xs = drop (length xs - 1) xs
现在，这对于一个非空列表很好地工作：
> lasst [1,2,3,4,5]
[5]
但是，令我惊讶的是，对于一个空列表，它返回一个空列表：
> lasst []
[]
我对此感到惊讶，因为我希望将(length []) - 1评估为-1，然后对drop -1 []进行评估。
为什么我的实现返回空列表的空列表，而不是抛出异常？
浏览 2提问于2020-01-09得票数 1
回答已采纳
2回答
我在Haskell中做了一个函数，它只将列表中的evens减半，但我遇到了一个问题。当我运行编译器时，它抱怨你不能执行整型除法，并且我需要一个小数整型声明。我曾尝试将类型声明更改为float，但这又产生了另一个错误。我已经在下面包含了函数的代码，并希望得到任何形式的帮助。
halfEvens :: [Int] -> [Int]
halfEvens [] = []
halfEvens (x:xs) | odd x = halfEvens xs
| otherwise = x/2:halfEvens xs
感谢您的阅读。
浏览 3提问于2011-09-10得票数 37
回答已采纳
1回答
在(象牙塔逃逸-哈斯克尔之旅)中，说，让Haskell帮助他们解决当时机器上的资源限制。它也带来了许多其他的好处，因为懒惰。
然后他说，他们现在面临的挑战是懒惰会影响他们的表现。
我的问题是：为什么让Haskell懒惰对性能有影响？
浏览 2提问于2016-06-20得票数 9
回答已采纳
在ghci中，当我键入
:t (-)
要计算出(-)的类型，它将返回
(-) :: Num a => a -> a -> a
但是，当我编写-1时，haskell返回一个数字，这似乎意味着(-)是Num a => a -> a类型的。(-)怎么可能有两种不同的类型呢？
浏览 8提问于2020-04-17得票数 17
回答已采纳
我试图将Python中的复数功能映射到Haskell中的Data.Complex，但我已经到了它们不同的地方，我不知道为什么。
在python中：
>>> x = 3j
3j
>>> x.real
0.0
>>> x.imag
3.0
在Haskell：
> import Data.Complex
> let j n = 0 :+ n
> let x = j 3.0
> realPart x
0.0
> imagPart x
3.0
到目前为止，它们看起来是一样的。看起来对它们的操作也没什么不同：
Python
浏览 6提问于2018-01-04得票数 2
回答已采纳
我试图用Haskell中的函数求出所有偶数之和，但它似乎不起作用。
我的代码是这样的：
sumEvenNumbers :: [Int] -> Int
sumEvenNumbers n = sum . even
有人能解决这个问题吗？谢谢!
浏览 0提问于2014-03-08得票数 0
回答已采纳
test :: Int -> Int -> Int
test x y = x/y
main = print(test 20 20)
错误：
main.hs:2:12: error:
• No instance for (Fractional Int) arising from a use of ‘/’
• In the expression: x / y
In an equation for ‘test’: test x y = x / y
如果我是haskell的初学者，并且想学习它，请帮助我，即使我不知道在哪里可以使用它，我可以在哪里实现它，我已经知
浏览 1提问于2020-04-20得票数 1
回答已采纳
我试图在上限num下创建一个数字max的所有倍数的集合。我用Haskell编写了以下函数：
multiplesOf num max = [num*k | k <- [1..floor (max/num)]]
为什么这个函数在运行时抛出以下错误，以及如何修复它？
<interactive>:26:1: error:
• Ambiguous type variable ‘a0’ arising from a use of ‘print’
prevents the constraint ‘(Show a0)’ from being solved.
Probable fix:
浏览 0提问于2018-10-27得票数 1
回答已采纳
我正在阅读关于Haskell指示性语义()的文章，我不明白为什么在类型中，底部的“值”与“正常”值相比被放在另一个级别，例如为什么它不能被模式匹配。
我认为模式修补bottom会带来麻烦，因为bottom也表示非终止计算，但为什么非终止计算和错误应该被同等对待？(我假设使用不支持的参数调用分部函数会被认为是错误的)。
如果所有Haskell类型都包含模式匹配的Java-null-like值而不是bottom，那么会丢失哪些有用的属性？
换句话说:为什么通过提升所有类型的空值来使所有Haskell函数合计起来不是明智之举呢？
(非终止计算是否需要特殊类型？)
浏览 3提问于2013-02-04得票数 6
回答已采纳
C++：cout << -1/2计算为0
Python：-1/2的计算结果为-1。
为什么是这种情况？
浏览 3提问于2014-02-26得票数 4
2回答
JKJS
RSA_print_fp(stdout,rsa,1);
此函数将模数加0x00。因此，公钥大小变为129字节，而不是128字节。为什么要添加0x00？
谢谢。
浏览 2提问于2012-11-10得票数 1
回答已采纳
3回答
我目前正在学习Haskell，并且一直在编写几个非常简单的程序来练习。其中一个程序就是我下面提到的：
import System.IO
main = do
putStrLn "Give me year: "
y <- getLine
let res = show . calcPop $ read y
putStrLn ("Population in " ++ y ++ " will be " ++ res)
pop :: Float
pop = 307357870.0
secInYear :: Flo
浏览 0提问于2011-03-27得票数 2
回答已采纳
2回答
我对Haskell并不熟悉，所以我不太知道如何操纵警卫的操作顺序，也不知道如何在警卫中对我的“where”表达式施加更多的限制。这是我在Haskell的第一个程序，其中有一些神秘的标记方案需要遵循，它会返回您的字母等级。它完全适用于所有非负输入，但对于负输入，圆形函数似乎失败了。这是我的代码：
roundMark :: Float -> Integer
roundMark mark
| mark2 < 0 = 0
| mark2 > 100 = 100
| otherwise = mark2
where mark2 = round mark
浏览 4提问于2018-01-13得票数 1
回答已采纳
4回答
所以我假设在Haskell中编写一个名为the的函数，它可以找到列表中最大的元素，但它是使用高阶函数实现的。
我是Haskell的新手，所以这是我的尝试，但它不起作用
largest :: [Int] -> Int
largest [] = 0
largest (head : tail) = if (head > tail) then head
else (largest tail)
我不知道高阶函数是什么意思。
如果能帮上忙，我们将不胜感激。
浏览 0提问于2013-03-08得票数 1
4回答
我和Haskell玩了一会儿，我遇到了这个错误，使用带有元组(String，list)的snd函数。
snd ("Felix Felices",[("Escarabajos Machacados",52,[f1,f2]),("Ojo de Tigre Sucio",2,[f2])])
ERROR - Cannot find "show" function for:
*** Expression : snd ("Felix Felices",[("Escarabajos Machacados",52,
浏览 2提问于2011-02-18得票数 3
回答已采纳
我想知道为什么通过一个正弦信号(振幅: 1，Freq=1 1赫兹，采样率:0.01秒)通过一个uint8产生一个方波。虽然我知道正弦波的幅值在256以上，应该在255处截断，但正弦波的振幅只有1，为什么正方形波是0到255？
浏览 4提问于2017-11-20得票数 0
回答已采纳
1回答
OCaml mod中的模块化函数返回的结果与python中的模块化运算符不同。
OCaml:
# -1 mod 4
- : int = -1
Python:
>>> -1 % 4
3
为什么结果不同？
是否有在%中作为OCaml操作的标准模块功能？
浏览 3提问于2017-10-15得票数 7
回答已采纳
3回答
哈斯克尔。为什么数组比列表快？
、、、、
我正在研究Haskell。我有下一个问题：
列表类型是Haskell中的基本类型。Haskell中的数组是基于列表的。这是索引Ix和函数的列表，由表-配对列表(Ix，值)表示。如果在数组中使用列表，为什么数组比列表更快？
浏览 2提问于2009-10-15得票数 1
回答已采纳
1回答
在Eiffel中，有人说我们应该“放松前置条件，收紧后置条件”，但我不确定这是什么意思。这种好处/如何从子类中受益？
谢谢
浏览 1提问于2010-09-10得票数 4
回答已采纳
我试图在R中积分泊松分布(dpois)，但我得到了一个错误的答案(0，绝对错误为0)和21个警告。我不明白R是如何消化我的简单的一餐，以及为什么它吐出21个警告。
dpoisd1 <- function(x) {dpois(x, 0.0001)}
dpoisd1(1:20)
integrate(dpoisd1, lower = 1, upper = 20)
它产生0个绝对误差<0和大约21个警告。如果有人能告诉我我的错误，我将不胜感激。
浏览 1提问于2014-03-03得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
