============================================================================================
函数调用拥有最高的优先级
92 `div` 10
doubleMe x = x + x
doubleUs x y = doubleMe x + doubleMe y
if expression then expression then expression
首字母大写的函数是不允许的
没有参数的函数通常被称作“定义”
a=[1,2,3],连接两个list:[1,2]++[3,4,5]
:
运算符往一个 List 前端插入元素,1:2:3:[]
按照索引取得 List 中的元素，可以使用
!!
运算符
当 List 内装有可比较的元素时，使用
>
和
>=
可以比较 List 的大小
Range 是构造 List 方法之一，而其中的值必须是可枚举的,[1..20],[2,4..20],[20,19..1]
List Comprehension
[ x*2 | x <- [50..100], x `mod` 7 == 3] ,[ [ x | x <- xs, even x ] | xs <- xxs]
检测表达式的类型使用
:t
命令
类型其首字母必为大写
Tuple 的类型取决于它的长度及其中项的类型
函数也有类型，函数类型声明格式：fucntionName::type->type... 其中
::
读作"它的类型为"，参数之间由
->
分隔，最后一个参数为回传值类型，其它为传入参数类型。
Type variables，使用到类型变量的函数被称作"多态函数 "，fst :: (a, b) -> a
类型定义行为的接口，如果一个类型属于某 Typeclass，那它必实现了该 Typeclass 所描述的行为,elem :: Eq a => a -> [a] -> Bool
=>
符号左边的部分叫做类型约束
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================
============================================================================================