Haskell函数基本语法逻辑分为以下三类:
一、模式匹配
模式匹配主要依赖数据的定义结构,属于一个解结构的过程,一般来看,跟随数据定义格式进行,也就是data的值构造子。
二、函数的组合
函数的组合,也就是分解为其它基本的小函数进行拼接,还有各个小函数之间高阶性,F1.F2.F3 x,类似数学F1(F2(F3(x))). 或者拼接 F1(x) + F2(F3(x)),反正就是函数组合在一起,只是组合的方式多样化。
三、逻辑分支性
主要有if then otherwise, case, guards等几种表达式,但基本一个意思,就是一个逻辑分支,不同进行不同的函数组合。
四、绑定
为了表达式或者函数变短,可读性强,或者抽出重复部分,使用let和where等进行部分逻辑的绑定。