Haskell学习笔记1

Haskell类型体系特色
    三大特色：强类型，静态类型，自动推断
    强类型：甚至不允许自动coerce（即C语言中的casting，自动类型转换）。
    静态类型：编译器确定类型，有时候会带来编码上的困难。不过typeclasses概念的引入可以带来一些类似动态类型的特性。
    自动类型推断：可以省去显式的指明大多数表达式的类型
    常见类型：Char，Bool，Int（有限字长，与机器位数有关），Integer（无限字长），double（更常用，可以得到编译器的大力优化），Float（不推荐使用），[a]（list），元组（tuple）。

Haskell函数
    ·函数比操作符有更高的优先级。
    ·函数应用是左结合的。
    ·非纯函数（有副作用的函数）的类型标签中，返回类型以IO开始
ghci>  :t putStr
putStr :: String -> IO ()
ghci>  :t readFile
readFile :: FilePath -> IO String
    ·函数是表达式，其值为函数的值。
    ·return也是函数，而非关键字，与C语言中的return含义不同。

Haskell组合数据类型（list与tuple）
    ·head与tail函数
ghci>  head ["head", "ta1", "ta2"]
"head"
ghci>  tail ["head", "ta1", "ta2"]
["ta1","ta2"]
    ·list与tuple区别
    list的元素必须具有相同类型，可以有无限长度
    tuple元素类型可以不相同，必须是固定长度
    一元的list不与该元素等价
    一元的tuple就是该元素（即不存在一元的tuple）
ghci>  [2]
[2]
ghci>  (2)
2