GHCi中:sprint命令名称里的"s"代表什么含义?
GHCi里
:sprint的"s"到底啥意思? 哈哈,这个问题其实看官方说明就能摸透啦!这个"s"指的是**"Simplified(简化版)"**——
官方文档里明确说了这两个命令的区别:
:sprint:在不强制求值的情况下打印值。:sprint与:print类似,区别在于未求值子项不会绑定到新变量,而是仅用‘_’表示。
咱们拆解一下:
- 核心功能上,
:sprint和:print是一致的:都能在不触发强制求值的前提下,打印出变量当前的求值状态; - 区别就在于输出的简化性:
:print会把未求值的子项绑定到临时变量(比如_t这类),而:sprint直接用_代替,输出结果更简洁直观。
举个小例子对比下就更清楚了:
假设你在GHCi里定义了let nums = 1 : 2 : undefined,
- 用
:print nums会得到:nums = 1 : 2 : _t - 用
:sprint nums会得到:nums = 1 : 2 : _
是不是一下子就明白这个"s"的含义了?
内容的提问来源于stack exchange,提问作者Nicolas Henin




