Haskell入门（三）：函数语法（syntax in functions）

python入门编程， 之后用c++学习数据结构，Haskell萌新。

参考教材：Learn You a Haskell for Great Good （http://learnyouahaskell.com/）

操作环境：Ubuntu下Linux64位虚拟机

由于对Haskell中一些词语的中文翻译并不了解，接下来的内容中重点名词将有英文和我理解的中文。

---

Chapter3部分内容

     分支结构一：样式匹配（pattern matching）

            分支结构一主要针对传入参数的数值或结构进行分析，对不同的结构采用不同的处理方式。(specify patterns to which some data should conform and to deconstruct the data according to those patterns.)

            我个人认为这有点类似c++中的switch...case break...default

            先来看最基础的数值分析。     

   分支结构一 数值分析

            在上面这个例子里，x起到了通配的作用，接近default。只不过这里的default需要我们自己书写。如果函数运行到结束都没有发现匹配的会报错。

            可以用数值分析或结构分析实现递归。以下是阶乘的递归实现。

分支结构一实现递归

            可以对结构进行分析，当传入参数的类型是复合的tuple或list时。

分支结构一 结构分析

            上面的tell函数是正确的，而tell'函数不能实现我们想要的功能。其原因是没有指定类型的x起了通配的作用，使得它下面的语句失效。（等效的c++中每个case后面都有break,因而只要匹配到一个就会停止匹配。）

           可以使用类似于a@b c ..的写法，使得我们在拆分匹配的同时保留对原参数的引用（a是原参数）。

保留对原参数的引用

        上面的第一个firstLetter函数是正确的，第二个会报错。我认为Haskell的自动类型推断在这里起了作用。前面(x:xs）的匹配使得haskell判定x是char类型。++函数只能在两个相同类型的列表中实现。因而最后一项也应该是一个列表。

    分支结构二：哨兵（guard）

            分支结构二使用哨兵来检查输入参数是否满足特定的表达式，相对于分支结构一有了更好的普适性。

            这里类似于python的if...elif... else语句。

            哨兵们以缩进了的 | 开头，后接条件判断语句，再接返回值。最后的else在这里使用otherwise表示。

            简单的哨兵示例：

哨兵示例

            where

            在上面的例子中，weight / height ^ 2的反复出现降低了代码的可读性和灵活性。 为了方便起见，我们可以用where开头，存储一些中间变量。

            需要注意where里的变量名要有相同的缩进。

            （插一点题外，这里的whale仅仅是调侃。社会对体重有些苛责Emmm）

            改进后的哨兵示例：

改进后的哨兵

            另外，where中的临时变量仅仅在它所在的语句中有效。下面例子中的哨兵依然在同一个语句中，但是如果我们像分支结构一一样，再使用另一个bmiTell，不同的bmiTell领导不同的样式，因而where仅在与它最近的bmiTell中起效。为了使它能跨越不同的样式，我们可以另外写全局的函数来解决这个问题。

            let

            提到了where, 我们就不得不提另一个与局部变量表达式有关的关键词let。

            where通常在函数里出现，它可以跨越哨兵，但是不能跨越样式。而let可以在任何表达式中出现，它不能跨越哨兵。

            let表达式的写法是：let 新定义变量 in 表达式。这些变量仅仅在表达式中起作用。在阅读代码时，可以先看表达式再看let。感觉写的思路与python的list comprehension有点类似。

let语句的写法

            let语句在list comprehension中也有广泛的应用。where, let的选用视具体情况而定，最终目的都是增强代码可读性。

    分支结构三：case语句

            从功能上说，case语句与上面提到pattern matching很相似，但是case语句不仅仅能在函数里，而且能在代码的任何地方使用。同样需要注意缩进，它的写法是：

            case 表达式 of 样式1 -> 结果1

                                    样式2->结果2

                                       ……

case的使用

...            一个留下来的小问题是，不太清楚case语句能不能在终端使用。（换行报错）(解答：可以。命令行输入：{ 换行输入具体内容，输入完毕后再次换行，输入：}结束。参考Haskell学习笔记 --- GHCi中如何敲入多行代码）