在 Haskell 中，我们什么时候使用 in 和 let ？

在下面的代码中，我可以将最后一个短语放在in在前。它会改变什么吗？

另一个问题：如果我决定把in最后一个短语前面需要缩进吗？

我尝试不缩进并拥抱抱怨

do {...} 中的最后一个生成器必须是表达式

import Data.Char
groupsOf _ [] = []
groupsOf n xs = 
    take n xs : groupsOf n ( tail xs )

problem_8 x = maximum . map product . groupsOf 5 $ x
main = do t <- readFile "p8.log" 
          let digits = map digitToInt $concat $ lines t
          print $ problem_8 digits

Edit

好吧，所以人们似乎不明白我在说什么。让我重新表述一下： 鉴于上述上下文，以下两个是否相同？

1.

let digits = map digitToInt $concat $ lines t
print $ problem_8 digits

2.

let digits = map digitToInt $concat $ lines t
in print $ problem_8 digits

关于声明的绑定范围的另一个问题let： 我读here http://www.haskell.org/tutorial/patterns.html that:

where条款。

有时，在多个受保护的方程上设置绑定范围很方便，这需要一个 where 子句：

f x y  |  y>z           =  ...
       |  y==z          =  ...
       |  y<z           =  ...
     where z = x*x

请注意，这不能使用 let 表达式来完成，let 表达式的范围仅限于表达式它所包含的.

我的问题：所以，可变数字对于最后一个打印短语不应该是可见的。我在这里错过了什么吗？

简短回答: Use let没有in在 do 块的主体中​​，以及在|在列表理解中。在其他地方，使用let ... in ....

关键词let在 Haskell 中以三种方式使用。

1. 第一种形式是let 表达式.

   let variable = expression in expression
   

   这可以在任何允许表达式的地方使用，例如

   > (let x = 2 in x*2) + 3
   7
   

2. 第二个是一个let 语句。该形式仅在 do 表示法内部使用，不使用in.

   do statements
      let variable = expression
      statements
   

3. 第三个与第二个类似，用在列表推导式内部。再说一遍，不in.

   > [(x, y) | x <- [1..3], let y = 2*x]
   [(1,2),(2,4),(3,6)]
   

   这种形式绑定一个变量，该变量在后续生成器和之前的表达式中|.

您在这里感到困惑的原因是表达式（正确类型的）可以用作 do 块中的语句，并且let .. in ..只是一个表达。

由于 haskell 的缩进规则，比前一行缩进得更远的行意味着它是前一行的延续，所以这

do let x = 42 in
     foo

被解析为

do (let x = 42 in foo)

如果没有缩进，您会收到解析错误：

do (let x = 42 in)
   foo

总之，永远不要使用in在列表理解或 do 块中。这是不必要且令人困惑的，因为这些结构已经有自己的形式let.