块表达式 或 块 是一个控制流表达式 (control flow expression)，同时也是程序项声明和变量声明的匿名空间作用域。 作为控制流表达式，块按顺序执行其非程序项声明的语句组件，最后执行可选的最终表达式 (final expression)。 作为一个匿名空间作用域，在本块内声明的程序项只在块本身围成的作用域内有效，而块内由 let 语句声明的变量的作用域为下一条语句到块尾。