系列文章

前言

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 的两个参数的长度不同，那么就会舍弃多余的项

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

前言

第 1 章

函数

列表

列表推导式

元组 tuple