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