let 的格式为 let [bindings] in [expressions]。在 let 中绑定的名字仅对 in 部分可见。let 里面定义的名字也得对齐到一列。
没有in的话就是在整个代码块里可见了
多个变量用;隔开
可以用在List comprehension里
case expression
case expression of pattern -> result
pattern -> result
pattern -> result
...
模式匹配本质上不过就是 case 语句的语法糖而已。
这在表达式中作模式匹配很方便，由于模式匹配本质上就是 case 表达式的语法糖，所以这两段也是等价的：
describeList :: [a] -> String
describeList xs = "The list is " ++ case xs of [] -> "empty."
[x] -> "a singleton list."
xs -> "a longer list."
describeList :: [a] -> String
describeList xs = "The list is " ++ what xs
where what [] = "empty."
what [x] = "a singleton list."
what xs = "a longer list."
