初识Haskell 五：自定义数据类型和类型类

红太狼 2022-01-07 16:23 216阅读 0赞

对*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

发表评论取消回复

表情：

评论列表（有 0 条评论，216人围观）

还没有评论，来说两句吧...

相关阅读

相关【C++基础入门】初识C++、数据类型

一：C++简介 1.1 介绍 C++（c plus plus）是一种计算机高级程序设计语言，由C语言扩展升级而产生 \[17\] ，最早于1979年由本贾尼·

Dear 丶/ 2024年03月26日 15:18/ 0 赞/ 102 阅读

相关 Java数据类型(初识)

先上总结: 1.Java数据类型分为两大类: 八种基本数据类型 , 引用类型\[类, 接口, 数组\] ![watermark_type_d3F5LXplbmhla

冷不防/ 2023年10月04日 17:49/ 0 赞/ 68 阅读

相关初识Java—数据类型变量与运算符详解

目录一、Java数据类型与变量 1、数据类型变量 2、数据类型转换包装类二、Java运算符 1、算术符 1.1 基本四则运算符：加减乘除模(+ - \ /

「爱情、让人受尽委屈。」/ 2023年09月27日 12:23/ 0 赞/ 116 阅读

相关初识Java：数据类型与变量、运算符

哈喽大家好，这篇文章我将为大家分享关于Java的数据类型与变量和运算符。文章目录数据类型与变量数据类型整型类型

迈不过友情╰/ 2023年09月25日 23:52/ 0 赞/ 52 阅读

相关 day01 python初识、数据类型、流程控制

今日内容大纲： 1，计算机基础。 cpu，内存，硬盘，操作系统。 2，python的发展与应用。 3，python的历史。 2008年python同时更新了

灰太狼/ 2023年08月17日 16:59/ 0 赞/ 145 阅读

相关初识C++之数据类型（二）

初识C++之数据类型(二） 2.1 整型 2.2 sizeof关键字 2.3 实型（浮点型） 2.4 字符型 2.5 转义字符 2.6

以你之姓@/ 2022年08月28日 02:49/ 0 赞/ 205 阅读

相关 C语言数据类型（初识）

数据类型包含两方面内容--------数据的表示和对数据加工的操作。数据的全部可能表示构成数据类型的值的集合，数据全部合理的操作构成数据类型的操作集合。在C语

心已赠人/ 2022年07月15日 09:47/ 0 赞/ 216 阅读

相关初识kotlin—2、数据类型

前言：今年谷歌宣布kotlin（以下简称为kt）已经成为安卓的官方开发语言，kt的重要性可想而知。就我大约接触一个月的时间来看（中间有事情耽误了），16年的时候以为kt还比较新

深藏阁楼爱情的钟/ 2022年06月08日 00:23/ 0 赞/ 275 阅读

相关初识Java（Java语言基础-数据类型转换）

一、数据类型类型转换是将一个值从一种类型更改为另一种类型的过程。如果从低精度数据类型向高精度数据类型转换，则永远不会溢出，并且总是成功的；而把高精度数据类型向低精度

梦里梦外;/ 2022年05月29日 08:43/ 0 赞/ 246 阅读

相关初识Haskell 五：自定义数据类型和类型类

对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结。环境Windows -------

红太狼/ 2022年01月07日 16:23/ 0 赞/ 217 阅读