①如何写一个求阶层函数？

   fac 0 =1

   fac n=n*fac(n-1)

   函数自适应匹配参数，可以把特判情况写在前面，注意按顺序匹配的，n这种万能情况写在最前面就完蛋了。同时你也注意到，函数只能一行写完，不能智能识别作用域啊!!

②灵活的使用你的函数参数!

看这个求三元组第三个值的函数，占位符_的神奇使用。

third::(a,b,c)->c

third (_,_,c)=c

更神奇的手艹head函数, (x:_)中占位符模拟出了列表的剩余部分

head’::[a]->a

head’ (x:_) =x

若是固定长度的列表，可以这么写head’ (x:y:[] ) =x 或者 head [x,y]=x

③As模式（填坑中，看不懂）

④利用哨位（Guard)写出一个优美的递归程序, | 后面的那个布尔式叫哨位

fac n

  | n==1 = 1

  | n==2 = 2

  |otherwise =n*fac(n-1)

尽管函数式语言不允许全局变量存在（全局就变成函数了，函数是确定，不可修改的）但是一个函数的尾部可以用where开设一个只赋值一次且作用域只是本函数的变量区，方便值一次计算多次，重复使用，用完销毁，变量区的变量必须对齐了，不然编译错。

fac n

  | n==1 = x

  | n==2 = y

  |otherwise =n*fac(n-1)

  where x=n*2

       y=n*3

where的一次赋值特性其实表明它本体就是个函数，所以支持函数的匹配特性

where (f:_)=”2333”

     (s:_)=”3223”

⑤where的老婆let？

我们知道let可以定义一个常量（函数），函数中let更是where的好妻子，其实它们就是倒过来而已。

看这个代码：

f length width height=

   let s=length*width

   in v=s*height

先开变量区，最后in进行表达式求值。

俗话说女人拥有社会最高权力，let..in 可以脱离函数使用，求个值~

let还支持分号和逗号，挤空间什么的。

let a=1;b=2;c=3 in a+b+c,let d=4 in a+b+c+d

列表表达式的条件区也可以写let，不过此时let式子不是过滤，而是计算作用了

f xs=[ans|x<-xs,let ans=x^2]

⑥简便而灵活的case .. of

C语言中的swich/case用法，不过这里的使用更加灵活，其实就是按顺序的模式匹配

f::String->String

f str = "hello" ++ case str of  "world" ->" world"

                         "fuck"->" bi~"

                          ""->" none"

还记得where不？前面说where开辟的其实就是一块函数区，那么这里可以这么改写, YY个what函数而不用考虑类型。

f::String->String

f str = "hello" ++ what str

      where what "world"=" world"

            what "fuck"=" ~bi"

            what ""=" none"