①一切都是函数，包括常量、表达式，格式：名字 参数1 参数2.. =函数内容
②if语句(else绝对不可以省略)
F=if (..) then x
else y
③没有数组，只有列表[1,2,3,4,5], [‘h’,’e’]
列表有好多运算符：
“++” ：同类型拼接
“ : “ :前端插入,1:2:3:4:5:[]等效于[1,2,3,4,5]，后端插入请用++
“!!”: 下标索引，从0开始，[1,2,3]!!1=2
列表是可以嵌套的[[1,2],[3,4]]
列表是可以比较的[1,2,3]<[1,3]
列表有一些常用函数，注意这些混乱的名字
head []:返回首元素
last []: 返回尾元素
tail []:返回去除头元素后的列表
init []:返回去除尾元素后的列表
null []:检测是否空
reverse []:反转
take/drop 5 []:取/扔列表前5个元素
maximum/minimum []: 最值
sum/product []:和与积
elem 4 [1,4]: 是否存在，通常中缀形式，即 4 `elem` [1,4]
④列表可以自由推导，最好不要去推导浮点数（精度问题）
[1..20]就是1~20了，[‘a’..’z’]就是a~z
只要告诉步长就可以自由推导，如[1,4..11]=[1,4,7,11]
注意20~1应该这么写[20,19..1]，因为默认的等差推导认为d>0
列表是惰性的。
[1,4..]尽管是无限的，但却是合法的，你可以take 5 [1,4..]取出前5项，要多少算多少，Lazy！
相关惰性函数（注意格式！!)
take 5 (cycle [1,2,3]) //生成123循环列表
take 5 (repeat 5) //生成5循环列表
⑤万能的列表表达式
还记得高中学集合时，描述型表示集合么 {x|x<10,x-(N}
看这个例子[x|x `mod` 3==1,odd x]，这个就是给定一堆条件创造的列表，所有条件逗号隔开，且都是逻辑与关系，返回的不仅可以是x, x*y也行，(x,x)也行
列表表达式可以是函数（Orz）
看这个函数fuck xs=[x|x `mod` 3==1,odd x]，调用时fuck [1..10]
列表表达式可以嵌套
[ [x|x<-xs]|xs<-xxs] ,当然xxs就得是嵌套列表
⑥细胞数组?元组！
(1,”hello”,”a”) ，用C语言来解释原理，就是建了个结构体。
列表套元组，元组的形式（个数&类型）必须一致，因为列表中的类型必须一致，一个元组就是一个结构体，一种限定的类型
二元组别称序对,有三个函数，fst/snd，取第一/第二元素，zip [1..20] [20..30]，zip就是拉链的意思，自动从两个列表中生成[所有序对]，长度由最短那个控制
⑦关于类型的那点事
检测类型表达式: “:t” , :t 4==5则输出4==5::BOOL，其中::负责指明类型
来看下一个完整优美的函数写法
add::Int->Int->Int->Int（忽略这句也没问题，但是编译器会给警告)
add x y z = m
类型声明格式: 参1,参2..返回值，中间用箭头连接，表示“函数推导”之意
常见类型:Int,Char,Bool,Float,Double,Integer（大整数，2333！）,String
虚类型，:t head的返回结果是 head::[a]->a, :t fst则是fst::(a,b)->a
a,b这里都是很敷衍的，告诉编译器类型由元素决定，由于a，b不过是临时取的名字
⑧类型类（杂糅了好多东西的大类型接口）
-> (Eq a)与（Ord a）写函数类型时强制前置说明，如果函数里涉及==、/=, <、>
比如手艹一个min函数
min'::(Ord a)=>a->a->a
min' a b= if(a<b) then a
else b
->有一些功能类型类（Show类型和Read类型）
函数show：把任意类型值变成字符串，如show Ttrue=”True”
函数read: 把字符串通过类型推导还原类型，需要借助一个运算来推导类型
如，Read “[1,2]”+[3]=[1,2,3]，直接写Read “[1,2]”是不对的
->有一些你看不到（Enum类型）
还记得列表[1..20]么, 这个列表就是Enum类型了，succ/pred函数查看推导的后继/前驱
->有一些专门打辅助（Bounded类型）
函数minBound::Int, maxBound::Int，检查类型的上下界
->普通类型总结一下（Num类型，Floating类型，Integer类型）
用于限定函数参数的类型