判断表达式
if..then..else
表达式是编程语言中最常用到的基础之一,本片让我们来看看在 Haskell 中表达式是怎样的?
先看个小例子感受一下(依然是借助编译器 GHC):
Prelude> isTwo n = if n==2 then True else False Prelude> isTwo 2 True Prelude> isTwo 3 False Prelude> :t isTwo isTwo :: (Eq a, Num a) => a -> Bool
这是一个非常简单的 if..then..else 表达式,isTwo 是一个函数,n 是入参;可以看到,Haskell 的表达式并没有像在 JS 中的括号进行包裹;
当然,你也可以写像 JS 中的等号运算符;
Prelude> isFive = (==5) Prelude> isFive 5 True Prelude> :t isFive isFive :: (Eq a, Num a) => a -> Bool
和 JS 还有一个大不同是:Hskell 里的 if..then..else 的 else 后的表达式不可省略;
也就是说,必须定义条件成立的时候返回的值,也必须定义条件不成立的时候返回的值,并且两者返回的类型必须相同,这样一定程度上保证了函数定义的完整性。
实际上,if..then..else 是一种结构性的表达式,也可以理解为一种运算符,属于:混合位置运算符;
而普通的加法,处于两个参数中间,称为:中缀运算符;
函数,位于一个参数前面,可理解为:前缀运算符;
函数式编程的“输入 => 计算 => 得值”的思想处处都有体现;
switch
看了 if else ,再看看 switch 怎么写:
Prelude> :{ Prelude| week n = case n of Prelude| 1 -> "Mon" Prelude| 2 -> "Tues" Prelude| 3 -> "Wed" Prelude| 4 -> "Thurs" Prelude| 5 -> "Fri" Prelude| 6 -> "Sat" Prelude| 7 -> "Sun" Prelude| _ -> error "invalid" Prelude| :} Prelude> week 4 "Thurs"
Haskell 中无需 break 关键字,当它匹配到一个条件后,就会自动跳出;
_
下划线是定义默认的其它条件;
模式匹配
还有另一种方式可以表达条件运算 —— 模式匹配;
Prelude> :{ Prelude| abs4 n Prelude| | n > 4 = n Prelude| | otherwise = -n Prelude| :} Prelude> abs4 2 -2 Prelude> :t abs4 abs4 :: (Ord p, Num p) => p -> p
|
将函数的参数按特定的条件分开;
在模式匹配中,更精确更有指向性的模式总是放在相对通用和宽泛的模式前面(优先匹配);
本瓜觉得跟这里的 模式匹配 跟 责任链模式 有点类似,按照顺序去匹配,把更有可能正确的条件判断放在最前,优先去执行判断,满足条件立即跳出;
不过 JS 实现责任链要进行封装,Haskell 直接原生语法就支持,|
就是对 if..then..else 的封装;
运算符
前文已提到:加号、减号等,这些本质和函数是一样的,函数也是运算符,加减号也是函数!
可以在 GHC 控制台打印类型看看:
Prelude> :t (+) (+) :: Num a => a -> a -> a Prelude> :t (-) (-) :: Num a => a -> a -> a
只不过它们属于不同位置的运算符(前缀、中缀、后缀、混合位置);
实际上,运算符共有 3 个属性:
- 优先级(在 Haskell 中,有十个优先级(0 ~ 9));
- 结合性(分为左结合、右结合、无结合);
- 位置(前、中、后、混合);
提供一个优先级和结合性的表:
图片来源:异步社区
比如运算符 !!
:表示从一个列表中取出第 n 个元素(从 0 开始)
Prelude> [1,2,3,4,5]!! 1 2
再比如 mod
:表示取余
Prelude> mod 7 2 1
有一个很重要的运算符要特别提醒:$
Prelude> :t ($) ($) :: (a -> b) -> a -> b
用来干嘛的呢?
当你想定义 f (g (h x))
时,可以简写为 f $ g $ h x
,这样写函数的连续调用更轻便、易读;
Prelude> let f1 = (*2) Prelude> let f2 = (+1) Prelude> f1 $ f2 7 16
自右向左调用,回答了之前 compose 自右向左调的原因:与函数书写的嵌套顺序一致;
$
、$!
、$!!
后面还有大用处(惰性求值),先在这里作简单认识;
小结
本篇我们又学习了 Haskell 的新的知识点:
- if else 是怎么写的,与 JS 差异在哪;
- switch 是怎么写的,与 JS 差异在哪;
- 模式匹配(与责任链模式类似);
- 函数与运算符等价(非常重要);
- 运算符的三个属性;
- 一些特殊的运算符,比如:
!!
、$
等;
这些都是为后面揭开 Haskell 函数式编程神秘面纱的基础,期间也能一窥这种把函数当计算的奇妙之处,即使不能在开发生产中用到 Haskell,对于平常的编程思考也是大有裨益的,希望你有受用到~~
以上。