《Haskell趣学指南》笔记之基本语法

系列文章

• 《Haskell趣学指南》笔记之基本语法
• 《Haskell趣学指南》笔记之类型（type）
• 《Haskell趣学指南》笔记之函数
• 《Haskell趣学指南》笔记之高阶函数
• 《Haskell趣学指南》笔记之模块
• 《Haskell趣学指南》笔记之自定义类型
• 《Haskell趣学指南》笔记之I/O

---

前言

• Haskell 是纯函数式的（不能赋值，引用透明）
• Haskell 是 lazy 的
• Haskell 是静态类型的
• Haskell 支持类型推导
• :l myfunctions 能够加载同目录的 myfunctions.hs，且能够重复执行
• :set prompt "ghci> " 能够改 prompt
  • :set prompt "λ " 能够获得 λ
  • 把这句话写在 ~/.ghci 里试试
• putStrLn 能够打印出中文字符串

第 1 章

• 5 * -3 要写成 5 * (-3)，否则报错
• 布尔用 True 和 False
• 1 + '1' 会报错，5 + 0.4 不报错，由于 5 也能够被看做 5.0

函数

• Haskell 中有一些中缀函数，如 * 和 +
  • 只要以特殊字符命名函数，便可自动将它视为中缀函数。
• Haskell 大部分属于前缀函数，如
  • succ 8 是取后继
  • min 1 2 是取最小
  • max 1 2 是取最大
  • div 9 3 是除法
• 函数调用的优先级最高，succ 9 * 10 等价与 (succ 9) * 10
• 前缀能够变中缀：div 9 3 能够改为 9 `div` 3
• 单参数函数 doubleMe x = x + x
• 双参数函数 doubleUs x y = x * 2 + y * 2
• 函数定义没有前后顺序的概念
• 条件语句 if <condition> then <exp> else <exp> 不能省略 else
• 条件语句是表达式而不是语句，老是有返回值
• 函数名能够包含 ' 字符，通常以 ' 结尾的函数是非惰性求值版本，也叫严格求值
• 函数名不能以大写字母开头，由于大写字母开头的是类型
• 没有参数的函数被称为定义或者名字，如 a = 1

列表

• 列表是单类型 homogeneous 的数据结构，只能存储类型相同的元素，不能储存类型不一样的元素
• a = [1,2,3]
• 使用 ++ 能够拼接两个列表，可是它会遍历第一个列表
• "hello" 是 ['h','e','l','l','o'] 的语法糖
• 使用 Cons 运算符 : 能够在列表头部插入一个元素 1:[2,3]
• [1,2] 是 1:2:[] 的语法糖
• 按索引获取值能够用 !! 符号：[1,2,3] !! 0 值为 1，索引越界会报错
• [3, 2, 1] > [2, 1, 0] 值为 True
• 更多列表操做：head/tail/last/init/length/null/reverse/task 3/drop 3/maximum/minimum/sum/product求积

  

• head [] 报错
• 4 `elem` [3,4,5] 值为 True
• [1..20] 生成 1 到 20 这 20 个数字组成的列表
• ['a'..'z'] / ['K'..'Z']
• [2,4..20] 生成 [2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
• [20..1] 会获得空列表，应该写成 [20,19..1]
• take 24 [13, 26..]
• cycle [1, 2, 3] 会对列表进行无限循环，获得 1,2,3,1,2,3,1,2,3... 组成的列表
• repeat 5 会获得由 5 组成的无限列表
• repeat 3 10 会获得 [10,10,10]

列表推导式

• [x* 2 | x <- [1.. 10]] 获得 [2, 4, 6, 8, 10, 12, 14, 16, 18, 20]
• [x* 2 | x <- [1.. 10], x>5, filter2, filter3] 能够对 x 进行过滤
• [ x* y | x <-[1, 3, 5], y <- [2, 4, 6]] 获得长度为 9 的列表 [2,4,6,6,12,18,10,20,30]
• [ x* y | x <-[1, 3, 5], y <- [2, 4, 6], x* y > 10] 获得 [12,18,20,30]
• length' xs = sum [1 | _ <- xs] 能够使用这个 length' 函数求列表的长度
• 还能嵌套：

  ghci> xxs = [[1, 3, 5, 2, 3, 1, 2, 4, 5],[ 1, 2, 3, 4, 5, 6, 7, 8, 9],[ 1, 2, 4, 2, 1, 6, 3, 1, 3, 2, 3, 6]]
  ghci> [ [ x | x <- xs, even x ] | xs <- xxs]
  [[2, 2, 4],[ 2, 4, 6, 8],[ 2, 4, 2, 6, 2, 6]]
  复制代码

元组 tuple

• tuple 能够容纳不一样类型的值，也就是说它是异构的
• tuple 的长度是固定的，不能改变
• (1,3) 是 tuple，(1,'a', "hello") 也是 tuple
• 长度为 2 的元组也叫序对 pair
• 二元组和三元组的类型被视为不一样，因此 [(1,2), (3,4,5)] 会报错，由于列表只能包含相同类型的东西
• 长度相同，可是里面元素的类型若是不一样，两个 tuple 的类型也会被视为不一样
• 不容许长度为 1 的元组，由于这没有意思
• 序对相关 API
  • fst (8,11) => 8
  • snd (8,11) => 11
  • zip [1,2,3] [4,5,6] => [(1,4),(2,5),(3,6)]
    • 若是 zip 的两个参数的长度不一样，那么就会舍弃多余的项