zoukankan      html  css  js  c++  java
  • Haskell复习笔记(一)

    Haskell笔记这是第三次总结,前两次都因为各种原因丢失了,对于Haskell我算不上什么大神,只不过在大学时为了学习算法时选择了Haskell。

    当时的入门书籍选择的是《Learn You Haskell》,如果你对Haskell有兴趣,它会是一个很好的选择。

    编译器来这里下载https://www.haskell.org/downloads

    什么是Haskell?

    Haskell是一种纯函数式编程语言,在生产环境中使用的较少。

      -  Haskell的变量一旦定义就不会更改,比如定义变量x=5,那么变量x在程序中就只能是5,不能赋其他值。

      -  Haskell是惰性的,在Haskell中如果定义了一个函数,在真正需要接过前是不会求值的,比如在我们遍历一个list求和时,它会得出一个超长的加法算式,省去了一步步计算加法的时间。

      -  Haskell是静态类型的,在编译程序时,需要明确数据类型,同时拥有自动类型推导,类 似于python,比如定义变量a = 3+4,那么默认a就是一个整型,不需要定义。

      -  Haskell的代码量更少,很容易维护和读懂别人的代码。

    Haskell的基本数据类型

    Haskell的运算符和逻辑判断语句

    基本的加减乘除没什么区别,在/运算时,返回的是浮点数

    - bool代数

    - True和False表示真和假。

    - &&表示and(和),||表示or(或)。

    - 逻辑判断语句在haskell中可以看作一个表达式使用,基本的结构是 if...then...else...,和其他语言不同的是,Haskell的then和else都要返回结果,并且不能省略。

    - int表示整数,上限是2147483647,下限是-2147483648

    - integer表示无限整数。

    - float表示单精度的浮点数

    - double表示双精度的浮点数

    - bool表示布尔值,True和False。

    - char表示一个字符,一组字符作为元素的list即为字符串。

    List

    在Haskell中,List是最常用的数据结构,和python不同的是List是单类型的数据结构,在list中只能存储多个相同类型的元素,比如一组数字。

    let lst=[1,2,3,4]

    字符串在Haskell中可以看作一组字符的List,如['c','u','i']和'cui'是相同的,只不过'cui'是语法糖的表示。

    关于语法糖的定义:语法糖就是把原本复杂的语法结构以简单的方式表现出来,其功能不变。

    字符串的合并是由"++"来连接,在对长字符串进行"++"操作时要注意,Haskell会遍历整个list,此时使用:来进行插入会更好。

    在Haskell中若想取出数据使用!!,字符串索引从0开始。

    "hello"++" "++"world"    #"hello world"
    "H":"ello"    #Hello
    ["hello"]!!0    #hello

    在Haskell中List是可以依次比较,进行比较运算的,前提是元素是可以比较的数据类型,Haskell会从头到尾进行比较,如果相等则比较下一个。

    [2,3,4]>[2,3]    #True

    List的常用函数

    - head : 返回list的头部,即首个元素。

    - tail :返回list去掉头部剩余的部分。

    - last : 返回list的尾部,即最后一个元素

    - init : 返回list除了头部剩余的部分。

    - length : 返回list的长度

    - null :检查list是否为空,返回布尔值。

    reverse : 将list反转并返回

    take : 返回list的前几个元素,从1开始。

    drop :与take相反,它会删除list的前几个元素。

    maxinum和mininum :返回list中最大和最小的元素。

    sum和product :返回list所有元素的和和所有元素的积。

    elem : 判断一个元素是否包含于list,返回一个布尔值。

    cycle :接收一个list,并返回一个无限重复原list的list。

    range

    学过其它语言的肯定不会陌生range,但是在Haskell中range的作用是构造list,这也是单独讲解的原因。

    range不是一个函数,它是中文区间,比如[1..20]表示的是元素从1到20的list。

    range可以设置不长,如[1,3,..9]表示的就是[1,3,5,7,9],包括但不限于整数,比如字母或者浮点数,但是浮点数的精度在range中可能会出问题,所以避免使用。

    list表达式

    list表达式是构建list另一种办法,它的基本组成结构是[输出函数 | 变量x的取值范围,变量x的筛选条件]

    如取出1到10,小于5能被2整除的元素:[x|x<-[1,10],x 'mod'2==0,x>5]

    list表达式的筛选条件可以是一个或多个。

    list表达式的取值范围也可使是一个或多个。

    Tuple

    tuple(元组)一样是一种元素的容器,但是tuple在定义时就已经明确容器内元素的数量了,并且其内元素不必为同样类型。

    tuple同样可以进行比较运算,但是相比较的两个元组的长度必须是完全相等的。

    tuple最少拥有两个元素,拥有两个元素的tuple也叫做pair。

    pair(序对)的常用函数

    fst :返回一个pair的首项。

    snd :返回一个pair的尾项

    zip函数 :可以把两个list合并为元素为序对的list,若两个list的长度不同,则以短的为主。

    Type和Typeclasses

     :t命令后跟表达式,会返回它的类型,返回的结构为 表达式::类型,l类型的首字母大写。

    类型变量(type variables)

    使用到类型变量的函数成为多态函数,如 :t head的返回值是[a]->[a]代表head可以接受任意类型的list并返回它的第一个元素。

    typeclasses

    typeclasses可以理解为接口,它规定了一系列行为。

    - Eq typeclasses 包含所有判断相等性的类型,提供实现的函数是==和/=,所以只要一个函数存在eq的类型限制,那么他定义时肯定==和/=。

    - Ord typeclass包含可比较大小的类型,ord内包含了>,<,>=,<=等用于比较的函数,若要成为ord的成员先加入eq家族。

    - Show的成员为可用字符串表示的类型,最常用的函数是show,它可以取任何一个成员类型为Show并将其转换为字符串。

    - Read会将字符串进行反转,read是其最常用的函数,当回传值类型多时,需要用::来指定回传的类型。如read "4" :: Int

    - Enum的成员都是连续的类型,也就是可以枚举,可迭代的,每个值都有后继子和前置子,分别可以通过succ和pred函数的到,Enum包含的类型包括Bool,Char,Ordering,Int,Integer,Float和Double。

    - Bounded的成员都有其上限和下线,如Int,Bool。

    - Num是表示数字的Typeclass,它的成员类型都有数字的特征。包含所有实数。

    - Integral也表示数字,只包含Int和Integer。

    - Floating表示浮点类型,Float和Double。

    函数的语法

    函数式编程语言当然核心就是函数了。

    模式匹配

    模式匹配从字面上理解就是对  模式   的  匹配,检查传入值是否适合从中取值进行等号后面的计算,使用模式匹配需要经过以下几个步骤。

      - 声明函数的type   格式为 函数名 :typeclass 输入 ->输出

      - 开始匹配模式    格式为   函数名 模式  = 函数体 

    chartostr :: Char ->String
    chartostr 'a'="a123"
    chartostr 'b'="b123"
    chartostr 'c'="c123"
    chartostr x ="right"

    ps:就是模式匹配成功之后执行的函数,haskell一切皆函数,就像字符啊数字啊 都是函数,也可以理解为  = 后面的是回传值

    list的匹配模式   (x:y),在匹配模式中没有  ++ 因为无法界定界限,使用会报错

    chartostr :: [a] ->String
    chartostr (a:[]) = "one ele"
    chartostr (a:b:[]) = "two ele"
    chartostr (a:b:_)="so long"

    还有一种模式叫 as 模式 ,就是用@把模式起个名字,在之后的调用中更方便。

    学习Haskell需要记住一句话 变量是变量,参数是参数。

    Guards

    guard就是士兵,它的特殊点在于其本身就是一个bool表达式,它的函数定义不需要等于号,而是在函数名和参数后面加上 |  函数体是一个比较算式,

    maxnum :: (RealFloat a) => a -> String
    maxnum x
        | x <5 = "xiaole"
        | x>5="dale"
        |otherwise = "duile"

     可以使用where和let用来绑定变量,不过它们的定义方式和作用域不同,where的作用域是所有的guards,而let只能被使用于定义它的guards,相当于局部变量。

    where绑定

    和guard的 | 对齐,定义多个变量时,变量需要对齐,=  后面也可以是函数。

    where name="cui"
          gender="man"
          age=13
    也可以使用模式匹配,看起来很像解构赋值,变为:
    where (name,gender,age)=("cui","man",13)

    let绑定

    let绑定的格式为  let binding in area ,在let定义只对area起作用 ,它是一种表达式。

    Prelude> let a = 8 in a + 1
    9

     Case

    很多的命令式编程语言都提供了case语句,case与剧中可以使用模式匹配,起始本质上来说,模式匹配就是case表达式的语法糖。比如:

    head :: [a] -> a
    head [] = "no head"
    head [x:_] = x
    -- 它们的含义是一样的
    head :: [a] -> a
    head xs = case xs of [] -> "no head"
                         [x:_] -> x

    case表达式可以用在任何地方。

    describeList :: [a] -> String
    describeList xs = "The list is " ++ case xs of [] -> "empty."
    [x] -> "a singleton list."
    xs -> "a longer list."
  • 相关阅读:
    idea中maven报错:无效的目标发行版: 1.8
    IDEA将web项目打成war包
    Java 错误: 找不到或无法加载主类,问题集合
    阿里云centos7使用yum安装mysql的正确姿势
    一看你就懂,超详细java中的ClassLoader详解
    Linux下,用命令进行 日志分割、日志合并
    IDEA 类图功能使用方法
    通用base.css —— 《编写高质量代码 web前端开发修炼之道》
    easyui datagrid去掉全选按钮
    element+vue:el-table-column里面的内容只显示一行
  • 原文地址:https://www.cnblogs.com/cuiyuanzhang/p/9665206.html
Copyright © 2011-2022 走看看