Haskell: infixl, infixr, infix

https://www.haskell.org/onlinereport/decls.html#fixity

infix,infixl,infixr是Haskell中给运算符定义优先级操作用的。 例如:

infixr 9 `op

infixr是右结合,infixl是左结合,infix无左右优先性。优先级一共有 十个,0-9,数字越大越高,如果定义时省略了数字,则默认为9。

预定义的优先级表格如下:

+----------+-----------+-----------------------------------+----------+
|          |  左结合   |              无结合               |  右结合  |
+----------+-----------+-----------------------------------+----------+
|     9    | !!        |                                   | .        |
+----------+-----------+-----------------------------------+----------+
|     8    |           |                                   | ^, ^^, **|
+----------+-----------+-----------------------------------+----------+
|     7    |*,/,`div`  |                                   |          |
+----------+-----------+-----------------------------------+----------+
|     6    |+, -       |                                   |          |
+----------+-----------+-----------------------------------+----------+
|     5    |           |                                   |:, ++     |
+----------+-----------+-----------------------------------+----------+
|     4    |           |==,/=,<,<=,>,>=,`elem`,`notElem`   |          |
+----------+-----------+-----------------------------------+----------+
|     3    |           |                                   | &&       |
+----------+-----------+-----------------------------------+----------+
|     2    |           |                                   | ||       |
+----------+-----------+-----------------------------------+----------+
|     1    | >>, >>=   |                                   |          |
+----------+-----------+-----------------------------------+----------+
|     0    |           |                                   |$,$!,`seq`|
+----------+-----------+-----------------------------------+----------+

根据上面的表,如果是 1 + 2 + 3 + 4 就等于 ((1 + 2) + 3) + 4,因为加法 符合结合律,所以我们不容易看出来,我们来看减法。

infixr `op`

op x y = x - y

main = do
    putStrLn $ show (5 - 3 - 2)
    putStrLn $ show (5 - 3 `op` 2)
$ runhaskell tryInfix.hs 
0
4

上述便是效果。

Haskell中自定义的操作符非常多,往往看源代码看的眼花缭乱,此外还需要非常注意优先级。


更多文章
  • 使用Gitea+Drone打造自己的CI/CD系统
  • 2019年就要结束啦!
  • 为什么要使用gRPC?
  • Matebook X Pro 2019安装Debian 10
  • ArchLinux忽略某个包的升级
  • SQLAlchemy使用主从与数据库autocommit
  • Blackbox禁用IPv6
  • 预防缓存击穿
  • Go 1.13的errors挺香
  • flutter开发体验汇报
  • 自己封装一个好用的Dart HTTP库
  • Flutter应用启动后检查更新
  • Grafana Gravatar头像显示bug修复
  • flutter中使用RESTful接口
  • Vim YouCompleteMe使用LSP(以dart为例)