对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结。环境Windows
自定义数据类型 data type definitions
形式如：
data Colour = Red | Orange | Yellow | Green | Blue | Violet
Colour type包含了Red Orange Yellow Green Blue Violet这些值，这些值是constructor，其开头字母要大写。
还有包含类型变量type variables的形式：
data Animal a b = Cat a | Dog b | Rat
自定义类型数据可用于当计算没有结果会导致程序出错时，可定义一个值作为当不存在结果时的答案。要打印自定义类型的值要在定义时加deriving Show，如：
data Colour = Red | Orange | Yellow | Green | Blue | Violet deriving Show。
自定义类型类 type class
从 + 操作说起，+可以作用于许多类型如整形和浮点型等，其得出的结果类型也不是单一的，这就有个问题：+的类型是什么？如果是(+) :: Integer -> Integer -> Integer的话，则当浮点数相加时是不符合的，而如果是(+) :: a -> a -> a就意味着任何类型都适用，如True + False，这也不对，我们想要的是当类型是数字numeric时适用，实际上(+)的定义为：
(+) :: Num a => a -> a -> a
Num是类型类type class，Num包括Int, Integer, Float, Double等类型。Num a =>称为类限制(class constraint or context)，表示只有当参数的类型是属于Num时(+)才适用。
Haskell允许自定义类型类（如何定义这本书因不涉及没讲），常用的类型类有Num, Show, Eq。Num表示该类是数字numeric，Show表示可转换成字符串，Eq表示可用于比较是否相等。
原文地址：https://www.cnblogs.com/Will-zyq/p/10351441.html