阅读 147

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

系列文章


前言

  • 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 的两个参数的长度不同,那么就会舍弃多余的项
关注下面的标签,发现更多相似文章
评论