《Haskell趣学指南》读书笔记(2):Type And Typeclass

前言:Haskell同python类似,支持类型推导,不需要额外告知数据类型。现在我们将理解haskell的类型系统

Type相关

|| :t 命令
检测表达式的类型

Prelude> :t "aaa"
"aaa" :: [Char] 

(tip: " :: " 读作 “它的类型”)

下面我们研究 符号 —> ::

|| “ :: ” 用于函数类型声明

mylast  :: [a] ->a  --类型声明
mylast[] = error"empty list"
mylast [x] = x
mylast (x:xs)  = mylast xs
--多个参数
myadd  :: int -> int -> int
myadd x y z = x + y + z

|| 基本数据类型
Char / Int / Float / Double / Bool (类型首字母需大写

|| 函数的数据类型
注意: 其中的 ‘a’ 不是一个数据类型,而是一个变量, 在haskell中变量可以是任意的类型 !

*Main> :t head
head :: [a] -> a
*Main> :t init
init :: [a] -> [a]
*Main> :t fst
fst :: (a, b) -> a

注意: 使用到类型变量为参数的函数被称为“多态函数”,可以接收热议类型的List

Typeclasses 相关

类型类

--查看 函数 == 的类型声明是怎样的
*Main> :t (==)
(==) :: Eq a => a -> a -> Bool
*Main> :t (>)
(>) :: Ord a => a -> a -> Bool
(*) :: Num a => a -> a -> a
*Main> :t (+)
(+) :: Num a => a -> a -> a
*Main> :t (-)
(-) :: Num a => a -> a -> a
*Main> :t (*)
(*) :: Num a => a -> a -> a
*Main> :t (/)
(/) :: Fractional a => a -> a -> a

下面我们研究 符号 —> =>

|| => 左边的部分称为类型约束,(由 前文知,变量a原本可以是任意类型,现在被约束)
针对Eq a => a -> a -> Bool 我们可以解读为:“相等函数取两个相同类型的值作为参数并回传一个Bool值,而这两个参数的类型在Eq这个类中(Eq对函数进行了类型的约束)”

|| 基本的Typeclass:

||| Eq 包含可判断相等性的类型。 == 、/= ( 除函数外所有的类型都属于Eq,故只有函数不能判断相等性)

||| Ord 包含可比较大小的类型 > < >= <= ( 除函数外所有的类型都属于Ord,故只有函数不能进行大小比较)
注意: 一个类型若是Ord类型,则必先是Eq类型

||| Show 包含可用字符串表示的类型 ‘show a’ ( 除函数外所有的类型都属于Show,故只有函数不能用字符串表示)

*Main> show 11
"11"

||| Read 包含可以由一个字符串转而成的其他的类型 read “a” (所有的类型都属于Read)

--read可以将字符串转化为Read中某类型
*Main> read "123" + 1
124

--报错 read不知道具体转换为哪个类型
*Main> *Main> read "123"
<interactive>:11:1: error: parse error on input*

Enum 包含可枚举的类型(也就是连续的类型) Bool,Char,Ordering, Int, Integer,Float,Double

Bounded 包含有一个上限和一个下限的类型 Int Char Bool

Num 是表示数字(整数和实数)的Typeclass,它的成员类型有数字特征

Integral 包含整数 Int Integer

Floating 包含浮点数 Float Double

已标记关键词 清除标记
©️2020 CSDN 皮肤主题: Age of Ai 设计师:meimeiellie 返回首页