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
阅读更多
个人分类: 学习笔记 Haskell
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭