“不在范围内：'跟踪”是什么意思，我该如何解决？

Question

我正在尝试运行程序，但是我总是在终端fib3.hs：3：12中得到它：不在范围内：'trace'，我不知道它是什么意思，或者我怎么解决这个问题。 我是Ver的初学者，并且Haskell ...我的代码

-- fib3.hs
fib   :: Integer -> Integer -> Integer
fib d n |  trace (shift d ++ "Call: fib " ++ show n)
                     False = 0
fib _ 0 = 0
fib _ 1 = 1
fib d n = fib (d+1) (n-1)
          + fib (d+1) (n-2)

shift :: Integer -> String
shift 0 = ""
shift n =  "   " ++ shift (n-1)

Answer 1

该错误告诉您Haskell无法找到函数trace -问题是它不在序幕中，而是在Debug.Trace模块中，因此您必须导入它。

最简单的方法是添加

import Debug.Trace 

低于module定义（如果有的话-如果不仅位于文件顶部，还打击{-# LANGUAGE ... #-}编译指示（如果有的话）

这将从我个人不喜欢的Debug.Trace中导入所有内容 （很难找到以这种方式定义函数的位置）-这就是为什么我通常更喜欢仅导入所需的函数和定义（因此我可以告诉它们在哪里）来自）是这样的：

import Debug.Trace (trace)

因此，解决您的问题的方法可能如下所示：

module MyFibModule where

import Debug.Trace (trace)

-- fib3.hs
fib   :: Integer -> Integer -> Integer
fib d n |  trace (shift d ++ "Call: fib " ++ show n)
                     False = 0
fib _ 0 = 0
fib _ 1 = 1
fib d n = fib (d+1) (n-1)
          + fib (d+1) (n-2)

shift :: Integer -> String
shift 0 = ""
shift n =  "   " ++ shift (n-1)

...

瞧 ：

λ> fib 1 4
   Call: fib 4
      Call: fib 2
         Call: fib 0
         Call: fib 1
      Call: fib 3
         Call: fib 1
         Call: fib 2
            Call: fib 0
            Call: fib 1
3

---

其余的不在主题范围内，但您可能会感兴趣：

轻微重写

我将其重写为：

fib   :: Integer -> Integer -> Integer
fib d 0 = traceIt d 0 $ 0
fib d 1 = traceIt d 1 $ 1
fib d n = traceIt d n $ fib (d+1) (n-1) + fib (d+1) (n-2)

traceIt :: Integer -> Integer -> a -> a
traceIt d n = trace (shift d ++ "Call: fib " ++ show n)

shift :: Integer -> String
shift 0 = ""
shift n =  "   " ++ shift (n-1)

警卫 - 骗局似乎有太多神奇的 IMO（我一开始显然很想念这件事：（...所以您决定：我是愚蠢的还是奥秘的代码？）

不想重复太多

如果您不喜欢，则必须在traceIt dn地方都添加traceIt dn （这是很讨厌的），您可以使用trace 修复递归：

fib :: Integer -> Integer
fib = fib' 0

fib' :: Integer -> Integer -> Integer
fib' d n = traceIt d n $ fibF (fib' (d+1)) n

fibF :: (Integer -> Integer) -> Integer -> Integer
fibF _ 0 = 0
fibF _ 1 = 1
fibF f n = f (n-1) + f (n-2)

traceIt :: Integer -> Integer -> a -> a
traceIt d n = trace (shift d ++ "Call: fib " ++ show n)

例

λ> fib 4
Call: fib 4
   Call: fib 2
      Call: fib 0
      Call: fib 1
   Call: fib 3
      Call: fib 1
      Call: fib 2
         Call: fib 0
         Call: fib 1
3