Haskell的基本语法和GHCi

Posted 2020-09-10 They say flying wale eats clou

1.注释

a) --这是一行注释

b) {-

这是一段注释

-}

2.表达式

a) 3 ：： Float 标示是一个浮点数3，：：起到说明类型的作用

b) sort [3,8,1,4] 是一次函数调用。Haskell中的函数调用不需要加括号，多个参数中间也不用加逗号。

c) Case Foo of True -> 1

  False ->2

最后一个表达式的值在Foo是True时等于1，否则等于2。

值得注意的是：if...then...else和case...of...这些语句虽然在其他语言中作为控制结构的声明，在Haskell中大部分都是表达式。

d) 表达式就是有值的式子，Haskell和大多数编程语言一样，程序中包含表达式和声明两种；

3.声明

a) Haskell是一门强类型语言，所有表达式都有确定的类型，：：可以用来手动标注类型

b) 绑定

addOne :: Int -> Int

addOne x = x +1

 

Welcome :: String

Welcone = “hello world”

上面语句中：welcome :: String 读作welcome的类型是String，=则是把右侧的表达式绑定在左侧的名称上了，在代码其余地方，每当想要用”hello world”时使用wecome即可。

NOTE：在Haskell语言中一旦一个名字被绑定给了表达式（上述”hello world”也是表达式），这个名称包含的表达式就永远不会再变了，Haskell中不存在变量的概念，只存在绑定，任何时刻一个名称对应的表达式都是唯一确定的。

上述addOne 是一个函数绑定，与第二个不同，判断方法是=后有多个名称。

c) 作用域

X = 1

Let x = 2

In y = x --此处y == 2

Z = x --此处z ==1

d) 导入

Haskell会默认在所在模块导入一个叫Prelude的模块函数，包含了许多基本的函数（例如print）。Haskell中的许多重要模块（包括prelude）一起构成了base库，这套base库会随着Haskell编译器一起发行。所以只有有可以工作的GHC，就可以直接导入base中的所有模块

e) 牢记：

Haskell中没有变量和赋值，只有绑定，且一旦绑定不能改变

Haskell中没有条件、循环、分支等控制声明，条件和分支在Haskell中是表达式的一部分

 

4.函数

a) 函数分为普通函数和中缀函数两种。普通函数的调用方法就是函数跟上参数，中缀函数和算式中的加减乘除差不多：先写一个参数，再写函数，最后再跟上一个参数

想要把一个普通函数当成中缀函数使用，需要在函数两边加上``（注意是键盘左上角``，不是‘’）

想要把中缀函数当成普通函数使用，需要在中缀函数两边加上括号

Eg.

elem 3 [1,2,3]

--elem x xs 判断列表xs中是否出现了x

3 `elem` [1,2,3]

--普通函数以中缀函数的形式调用

Eg.

(+) 1.5 1.5

--等价于1.5 + 1.5

b) ：：是类型说明函数，优先级最低

5.GHCi

a) GHCi身处在一个连续的运算过程中，后面的绑定可以覆盖前面的绑定，暂时记得在GHCi中绑定名称时，一定要在前面加上let就好：let xs = [2,3,4,5]

b) 在Haskell中，确定的类型首字母大写（例如Float和Bool）代表常亮，而不确定的类型一般都随意用小写字母a,b,c。。。表示，代表类型变量。当然也可以用小写字母开头的单词表示类型变量。

c) 查询中缀函数&& 的信息：

:info && 或 :t (&&)

d) 绑定中缀函数的方法：（以++++做平方和为例）

(++++) :: Int -> Int -> Int

x ++++ y = x^2 + y^2

或者

(++++) :: Int -> Int -> Int

(++++) x y = x^2 + y^2

但是在GHCi中必须加上let才能使

e) 一些初级函数：

!! :: [a] -> Int -> a

--取列表第n个元素（从0开始）

[1,3,4] !! 2

--3

 

head :: [a] -> a

tail :: [a] -> [a]

--取列表头和尾

init :: [a] -> [a]

last :: [a] ->a

--取列表始和末

null :: [a] -> Bool

--判断列表是否为空

 

length :: [a] -> length

求列表长度

 

Take 2 [1,2,3,4,5]

--[1,2]

--取列表前N个元素

 

reverse :: [a] -> [a]

--颠倒一个列表

 

elem ,notElem 判断元素是否在列表中

 

min,max --判断两个元素中最大/最小的那个

minmum,maxmum --判断列表中最大/最小的那个