【问题标题】:What is the scope of let when used without in?不使用 in 时 let 的范围是什么?
【发布时间】:2012-04-04 08:45:43
【问题描述】:

在 Haskell 教程中,我遇到了以下代码:

do [...]
  let atom = [first] ++ rest
  return $ case atom of

请注意,let 表达式没有 in 块。这样的let 表达式的范围是什么?下一行?

【问题讨论】:

  • [first] ++ rest 也很奇怪,应该是first : rest

标签: haskell let


【解决方案1】:

范围是do 块的其余部分。

See §3.14 of the Haskell Report(特别是翻译块中的第四种情况)。 (是的,这是关于 do 块的部分,因为没有 inlet 仅在 do 块内有效,正如 Porges 指出的那样。)

【讨论】:

  • 还要注意,没有inlet 仅在do 块内有效。
【解决方案2】:

简单地说,它的范围是“从写入位置到do 结束”。

请注意,在 do 语句中,let 的处理方式不同。

根据http://www.haskell.org/haskellwiki/Monads_as_computation#Do_notation,解释如下:

do { let <decls> ; <stmts> }
  = let <decls> in do { <stmts> }

【讨论】:

    猜你喜欢
    • 2020-12-05
    • 1970-01-01
    • 2015-03-17
    • 2012-01-06
    • 2012-04-28
    • 1970-01-01
    • 2023-03-26
    • 2020-12-20
    • 1970-01-01
    相关资源
    最近更新 更多