Question

[免责声明]我对Haskell（以及任何关于此事的FPL）都很陌生，刚刚开始通过阅读YAHT来学习。所以我的代码可能看起来“有趣”。任何有助于改进编码风格的帮助也将受到赞赏。

我试图在Haskell中编写一个函数，该函数生成一个列表，其中系列1到n表示给定的n值，从+1开始，然后在1个数字之后首先切换符号，然后是2，然后是3，依此类推。

e.g。 16系列应该产生[1，-2，-3,4,5,6，-7，-8，-9，-10,11,12,13,14,15，-16]（1个正数，2个负数），3正面，4负面，...）。

我发现每个三角形数字后面的符号会发生变化，这等于前几个自然数的总和。

所以我写了这段代码：

module Test
where

--It accepts n and k, prints numbers 1 to n, starting with +1 and toggling their sign after each triangular number
series 0 = []
series n =
    if isTriangular n
        then series (getPrevTri n (n-1)) ++ getSeries (odd (n + (getPrevTri n (n-1)))) ((getPrevTri n (n-1)) + 1) (n - (getPrevTri n (n-1)))
        else series (getPrevTri n (n-1)) ++ getSeries (odd ((getNextTri n (n+1)) + (getPrevTri n (n-1)))) ((getPrevTri n (n-1)) + 1) (n - (getPrevTri n (n-1)))
            --The sign is negative for those numbers which follow an odd triangular number AND the triangular number previous to it is even
            --OR an even number AND the triangular number previous to it is odd.

getSeries sign start 0 = []
getSeries sign start n = 
    if sign == True
        then [start] ++ getSeries True (start+1) (n-1)
        else [-start] ++ getSeries False (start+1) (n-1)

--Checks whether n is a triangular number or not        
isTriangular 0 = False
isTriangular n =
    checkSum n 1

--Checks whether n is equal to sum of first few natural numbers, starting from k
checkSum n 0 = False
checkSum n k =
    if n == (k * k + k)/ 2
        then True
        else if n > (k * k + k)/ 2
            then checkSum n (k+1)
            else False

--Gets the triangular number just smaller than n, descending from k
getPrevTri 0 k = 0
getPrevTri n k =
    if k <= n
        then if isTriangular k
            then truncate k
            else getPrevTri n (k-1)
        else 0

--Gets the triangular number just greater than n, starting from k
getNextTri 0 k = 1
getNextTri n k =
    if k >= n
        then if isTriangular k
            then truncate k
            else getNextTri n (k+1)
        else 0

我必须在“getPrevTri”和“gerNextTri”中添加对“truncate”的调用，因为它开始生成小数。但我仍然收到这个错误：

*Test> :load "Test.hs"
[1 of 1] Compiling Test             ( Test.hs, interpreted )
Ok, modules loaded: Test.
*Test> series 16


<interactive>:1:0:
    Ambiguous type variable `t' in the constraints:
      `Integral t' arising from a use of `series' at <interactive>:1:0-8
      `RealFrac t' arising from a use of `series' at <interactive>:1:0-8
    Probable fix: add a type signature that fixes these type variable(s)
*Test>

有人可以解释这个错误的来源是什么吗？

令我感到惊讶的是，当我尝试调试此代码时，我将其修改为http://pastebin.ca/1932564，这会产生类似的错误。

然后到http://pastebin.ca/1932556并且令人惊讶地没有造成任何错误。

（请在相应帖子的末尾找到输出。）

我从中推断的是对

的调用

isTriangular n

导致

中的类型错误

奇数n

当Haskell是一个“纯粹的”FPL并且其功能没有任何副作用时，它怎么可能？

我在Windows 7 x64计算机上使用GHCi，版本6.12.3来处理这些代码。

Answer 1

没有数字类型实现Integral（由odd强制）和RealFrac（由(/)强制执行）。（这些是类型类，如果你不知道我在说什么，只要等到你的教程显示这个）

您可以/替换div或通过fromIntegral或类似方式进行明确演员。您也可以执行类似x/2 == 1而非odd x的操作。

修改：在第二个粘贴文件中，您通过truncate进行了转化，这也是可能的。

Haskell的优势在于它是强大的打字系统，可以让你减少编程错误，但也会遇到在明显的地方出现奇怪问题的问题。我通常建议您至少在顶级函数中提供类型信息。（如myFunc :: Int -> Integer）。这提高了可读性和安全性，因为如果出现问题，编译器会突然提示您。在ghci中，您可以通过:t命令轻松找到类型信息：

ghci> :t odd
odd :: (Integral a) => a -> Bool

请注意，使用此功能时必须在中缀函数周围包装：

ghci> :t ($)
($) :: (a -> b) -> a -> b

Answer 2

因为FUZxxI已经为您提供了答案，我会向您展示如何更轻松地解决您的问题。仅供参考。

你如何解决头脑中的问题？首先，您必须“生成”包含[1,2,2,3,3,3,4,4,4,4 ... ]的序列，才能知道改变符号的位置。以Haskell表示法表示的那个序列将是 -

numbers = concatMap (\x -> replicate x x) [1..]

然后你必须将这个序列的每个数字与从1到n的序列中的相应数字“组合”以给出正确的符号 - 这将是 -

series n = zipWith (\a b -> a*(-1)^(b `mod` 2 + 1)) [1..n] numbers

嗯，就是这样。你有解决方案。您甚至可以在不使用numbers变量的情况下将其表达为单行。但我认为它不太可读。

Haskell：在这段代码中，错误的来源是什么？“不明确的类型变量......`Integral t'...`RealFrac t'...”

2 个答案: