如何使用 PureScript 进行调试?
How to debug with PureScript?
问题
以下是一个最小的人为示例:
read :: FilePath -> Aff String
read f = do
log ("File: " <> f) -- (1)
readTextFile UTF8 f -- (2)
我想在 (1)
中进行一些调试日志记录,以免 (2)
上出现潜在错误。到目前为止,在 Spago REPL 中执行以下代码适用于成功案例:
$ spago repl
> launchAff_ $ read "test/data/tree/root.txt"
File: test/data/tree/root.txt
unit
问题:如果 (2)
出错 - file is directory here - ,(1)
似乎根本没有执行:
$ spago repl
> launchAff_ $ read "test/data/tree"
~/purescript-book/exercises/chapter9/.psci_modules/node_modules/Effect.Aff/foreign.js:532
throw util.fromLeft(step);
^
[Error: EISDIR: illegal operation on a directory, read] {
errno: -21,
code: 'EISDIR',
syscall: 'read'
}
原来的问题比较复杂,包括几层递归(见E-Book exercise 3),我需要记录日志来调试上面的错误。
问题
- 无论此处是否出现错误,我如何才能正确记录?
- (可选)是否有更复杂、行之有效的调试替代方案 - purescript-debugger?专门的 VS Code 调试 extension/functionality 将是蛋糕上的樱桃。
首先,您观察到的症状并不意味着第一行没有执行。它总是执行,只是由于控制台在 PureScript REPL 中的工作方式,您看不到它的输出。输出被吞噬。遗憾的是,这不是 REPL 的唯一问题。
您可以通过将 log
替换为 throwError
并观察始终抛出错误来验证第一行是否始终执行。或者,您可以让第一行修改可变单元格而不是写入控制台,然后检查单元格的内容。
最后,这只发生在 REPL 中。如果您将 launchAff_
调用放在 main
和 运行 程序中,您将始终获得控制台输出。
现在解决手头的实际问题:如何调试跟踪。
如果你负担得起,登录到控制台是可以的,但还有一种更优雅的方式:Debug.trace
。
这个函数有一个隐藏的效果——即它的类型说它是纯粹的,但它在调用时确实产生了效果。这个小谎言让您可以在纯设置中使用 trace
,从而调试纯代码。不需要 Effect
!只要用于调试就可以,但不要放在生产代码中。
它的工作方式是它有两个参数:第一个被打印到控制台,第二个是打印后调用的函数,整个过程的结果就是那个函数 returns.例如:
calculateSomething :: Int -> Int -> Int
calculateSomething x y =
trace ("x = " <> show x) \_ ->
x + y
main :: Effect Unit
main =
log $ show $ calculateSomething 37 5
> npx spago run
'x = 37'
42
第一个参数可以是任何东西,而不仅仅是一个字符串。这使您可以轻松打印很多东西:
calculateSomething :: Int -> Int -> Int
calculateSomething x y =
trace { x, y } \_ ->
x + y
> npx spago run
{ x: 37, y: 5 }
42
或者,将此应用于您的代码:
read :: FilePath -> Aff String
read f = trace ("File: " <> f) \_ -> do
readTextFile UTF8 f
但这里有一个微妙的细节:一旦您 调用 read
,此跟踪就会发生,即使结果 Aff
永远不会被实际执行。如果您需要在有效执行时进行跟踪,则需要将 trace
调用作为操作的一部分,并注意不要使其成为序列中的第一个操作:
read :: FilePath -> Aff String
read f = do
pure unit
trace ("File: " <> f) \_ -> pure unit
readTextFile UTF8 f
当然,每次您需要在有效上下文中进行跟踪时都这样做有点不方便,因此有一个特殊的函数可以为您完成它 - 它叫做 traceM
:
read :: FilePath -> Aff String
read f = do
traceM ("File: " <> f)
readTextFile UTF8 f
如果您查看它的 source code,您会发现它与我在上面的示例中所做的完全相同。
可悲的是,当异常发生时,trace
不会在 REPL 中帮助你,因为它仍在打印到控制台,所以它仍然会出于同样的原因被吞噬。
但即使它没有被吞噬,输出也有点乱码,因为 trace
实际上输出的是彩色的(以帮助您从其他输出中分辨出来),而 PureScript REPL 有一个复杂的与颜色的关系:
> calculateSomething 37 5
←[32m'x = 37'←[39m
42
除了,我发现了一个使用VS Code调试视图的变体。
1.) 确保 build with sourcemaps:
spago build --purs-args "-g sourcemaps"
2.) 将调试配置添加到 VS Code launch.json
:
{
"version": "0.2.0",
"configurations": [
{
"type": "pwa-node",
"request": "launch",
"name": "Launch Program",
"skipFiles": ["<node_internals>/**"],
"runtimeArgs": ["-e", "require('./output/Main/index.js').main()"],
"smartStep": true // skips files without (valid) source map
}
]
}
将"./output/Main/index.js"
/.main()
替换为编译好的.js
文件/函数
3.) 设置断点并通过 sourcemap 支持单步执行 .purs
文件。
问题
以下是一个最小的人为示例:
read :: FilePath -> Aff String
read f = do
log ("File: " <> f) -- (1)
readTextFile UTF8 f -- (2)
我想在 (1)
中进行一些调试日志记录,以免 (2)
上出现潜在错误。到目前为止,在 Spago REPL 中执行以下代码适用于成功案例:
$ spago repl
> launchAff_ $ read "test/data/tree/root.txt"
File: test/data/tree/root.txt
unit
问题:如果 (2)
出错 - file is directory here - ,(1)
似乎根本没有执行:
$ spago repl
> launchAff_ $ read "test/data/tree"
~/purescript-book/exercises/chapter9/.psci_modules/node_modules/Effect.Aff/foreign.js:532
throw util.fromLeft(step);
^
[Error: EISDIR: illegal operation on a directory, read] {
errno: -21,
code: 'EISDIR',
syscall: 'read'
}
原来的问题比较复杂,包括几层递归(见E-Book exercise 3),我需要记录日志来调试上面的错误。
问题
- 无论此处是否出现错误,我如何才能正确记录?
- (可选)是否有更复杂、行之有效的调试替代方案 - purescript-debugger?专门的 VS Code 调试 extension/functionality 将是蛋糕上的樱桃。
首先,您观察到的症状并不意味着第一行没有执行。它总是执行,只是由于控制台在 PureScript REPL 中的工作方式,您看不到它的输出。输出被吞噬。遗憾的是,这不是 REPL 的唯一问题。
您可以通过将 log
替换为 throwError
并观察始终抛出错误来验证第一行是否始终执行。或者,您可以让第一行修改可变单元格而不是写入控制台,然后检查单元格的内容。
最后,这只发生在 REPL 中。如果您将 launchAff_
调用放在 main
和 运行 程序中,您将始终获得控制台输出。
现在解决手头的实际问题:如何调试跟踪。
如果你负担得起,登录到控制台是可以的,但还有一种更优雅的方式:Debug.trace
。
这个函数有一个隐藏的效果——即它的类型说它是纯粹的,但它在调用时确实产生了效果。这个小谎言让您可以在纯设置中使用 trace
,从而调试纯代码。不需要 Effect
!只要用于调试就可以,但不要放在生产代码中。
它的工作方式是它有两个参数:第一个被打印到控制台,第二个是打印后调用的函数,整个过程的结果就是那个函数 returns.例如:
calculateSomething :: Int -> Int -> Int
calculateSomething x y =
trace ("x = " <> show x) \_ ->
x + y
main :: Effect Unit
main =
log $ show $ calculateSomething 37 5
> npx spago run
'x = 37'
42
第一个参数可以是任何东西,而不仅仅是一个字符串。这使您可以轻松打印很多东西:
calculateSomething :: Int -> Int -> Int
calculateSomething x y =
trace { x, y } \_ ->
x + y
> npx spago run
{ x: 37, y: 5 }
42
或者,将此应用于您的代码:
read :: FilePath -> Aff String
read f = trace ("File: " <> f) \_ -> do
readTextFile UTF8 f
但这里有一个微妙的细节:一旦您 调用 read
,此跟踪就会发生,即使结果 Aff
永远不会被实际执行。如果您需要在有效执行时进行跟踪,则需要将 trace
调用作为操作的一部分,并注意不要使其成为序列中的第一个操作:
read :: FilePath -> Aff String
read f = do
pure unit
trace ("File: " <> f) \_ -> pure unit
readTextFile UTF8 f
当然,每次您需要在有效上下文中进行跟踪时都这样做有点不方便,因此有一个特殊的函数可以为您完成它 - 它叫做 traceM
:
read :: FilePath -> Aff String
read f = do
traceM ("File: " <> f)
readTextFile UTF8 f
如果您查看它的 source code,您会发现它与我在上面的示例中所做的完全相同。
可悲的是,当异常发生时,trace
不会在 REPL 中帮助你,因为它仍在打印到控制台,所以它仍然会出于同样的原因被吞噬。
但即使它没有被吞噬,输出也有点乱码,因为 trace
实际上输出的是彩色的(以帮助您从其他输出中分辨出来),而 PureScript REPL 有一个复杂的与颜色的关系:
> calculateSomething 37 5
←[32m'x = 37'←[39m
42
除了
1.) 确保 build with sourcemaps:
spago build --purs-args "-g sourcemaps"
2.) 将调试配置添加到 VS Code launch.json
:
{
"version": "0.2.0",
"configurations": [
{
"type": "pwa-node",
"request": "launch",
"name": "Launch Program",
"skipFiles": ["<node_internals>/**"],
"runtimeArgs": ["-e", "require('./output/Main/index.js').main()"],
"smartStep": true // skips files without (valid) source map
}
]
}
将"./output/Main/index.js"
/.main()
替换为编译好的.js
文件/函数
3.) 设置断点并通过 sourcemap 支持单步执行 .purs
文件。