Real World Haskell学习笔记03

类型系统

• 强类型
  我的理解就是类型越强，使用方法越接近数学的使用方法，也就越安全
• 静态类型
  编译器在编译器知道值的类型，也就意味着不会出现runtime异常
• 自动推导

函数调用

• 形式为函数名 参数1 参数2 ...

• 函数调用的优先级比一般的操作符要高,但是比括号低

符合数据类型->元组

• 
  和list不同的是tuple可以放不同类型的数据，但是长度固定

基本操作

• 列表操作
  
  head获取第一个元素，tail获取第一个元素以外的元素
  take从头获取制定个数的元素，drop怎是删除

• 元祖操作
  
  fst,snd分别是取tuple的第一个和第二个元素

函数类型

• 
  String是参数类型，[String]是返回值类型

• 
  a是一个类型占位符，a->a表示的是compare接受两个类型相同的参数，Ordering是返回类型，包括EQ，LT，GT三个值

函数的纯度
- 不太理解，大概来说就是函数接受参数，产生结果，在函数执行过程中不做与产生结果无关的任何操作就是纯函数（不能改变除函数内部变量以外的其他任何东西），否则就是有副作用的
- haskell是纯函数式语言，纯函数和带副作用的函数不能混合使用