GHCi调试器中的自由变量

wli*_*iao 4 haskell functional-programming

在GHC用户手册GHCI调试器部分中,声明:

GHCi为断点所在的表达式的自由变量(a,left,right)提供了绑定,并且还为表达式的结果(_result)提供了绑定.

因此,这里的自由变量是a,left,right.

为什么该变量不是自由变量?

And*_*ewC 5

断点放在第二行读取

qsort (a:as) = qsort left ++ [a] ++ qsort right
Run Code Online (Sandbox Code Playgroud)

但断点将在右侧的表达式上=,如下所示:

Breakpoint 0 activated at qsort.hs:2:15-46
Run Code Online (Sandbox Code Playgroud)

这样的字符15-46 - 右手边.as没有出现在右侧,所以这就是为什么它不是该表达式的自由变量.