Phạm vi cho phép khi được sử dụng mà không có trong là gì?

Question

Trong một hướng dẫn Haskell tôi chạy qua đoạn mã sau:

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

Lưu ý rằng biểu thức let không có một khối in. Phạm vi của biểu thức let như vậy là gì? Dòng tiếp theo?

Answer 1

một cách đơn giản, nó scoped "từ nơi nó được viết cho đến khi kết thúc do" .

Lưu ý rằng trong tuyên bố do, let được xử lý khác nhau.

Theo http://www.haskell.org/haskellwiki/Monads_as_computation#Do_notation, nó được hiểu như sau:

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

Answer 2

Phạm vi là phần còn lại của khối do.

See §3.14 of the Haskell Report (cụ thể là trường hợp thứ tư trong khối dịch). (Vâng, đây là phần về do khối, vì let mà không in chỉ có giá trị bên trong một khối do, như Porges chỉ ra.)