《Two Dozen Short Lessons in Haskell》学习(十二) 数值相关的类

2023-12-12 11:59

本文主要是介绍《Two Dozen Short Lessons in Haskell》学习(十二) 数值相关的类,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

《Two Dozen Short Lessons in Haskell》(Copyright © 1995, 1996, 1997 by Rex Page,有人翻译为Haskell二十四学时教程,该书如果不用于赢利,可以任意发布,但需要保留他们的copyright)这本书是学习 Haskell的一套练习册,共有2本,一本是问题,一本是答案,分为24个章节。在这个站点有PDF文件。几年前刚开始学习Haskell的时候,感觉前几章还可以看下去,后面的内容越来越难以理解。现在对函数式编程有了一些了解后,再来看这些题,许多内容变得简单起来了。

初学Haskell之前一定要记住:

把你以前学习面向过程的常规的编程语言,如Pascal、C、Fortran等等统统忘在脑后,函数式编程完全是不一样的编程模型,用以前的术语和思维来理解函数式编程里的概念,只会让你困惑和迷茫,会严重地影响你的学习进度。

这个学习材料内容太多,想把整书全面翻译下来非常困难,只有通过练习题将一些知识点串起来,详细学习Haskell还是先看其它一些入门书籍吧,这本书配套着学学还是不错的。

第十二章 The Class of Numbers

1 In the Haskell class of numbers, Int and Integer

a are basically the same type

b are the same type except that numbers of type Integer can be up to 100 digits long

c are different types but x+y is ok, even if x is of type Int and y is of type Integer

d are different types, but both in the Integral subclass

2 In the Haskell class of numbers, Float and Double

a are basically the same type

b are the same type except that numbers of type Double can be up to 100 digits long

c are different types but x+y is ok, even if x is of type Float and y is of type Double

d are different types, but both in the RealFrac subclass

3 What is the most restrictive class containing both the type Integer and the type Float?

a Num

b Real

c RealFrac

d Fractional

4 In the Haskell formula n/d, the numerator and denominator must be in the class

a Integral

b RealFrac

c Fractional

d Floating

5 What is the type of the function f?

HASKELL DEFINITION • f x y = x / y

a Float -> Float –> Float

b Real num => num -> num –> num

c Fractional num => num -> num –> num

d Floating num => num -> num –> num

6 What is the type of the formula ( g n 1) ?

HASKELL DEFINITION • g x y = x + y

HASKELL DEFINITION • n :: Int

HASKELL COMMAND • g n 1

a Int

b Integer

c Integral

d Real

=========================================================

=========================================================

1 d

Integer和Int都是整数类型,Integer可以表达的整数范围非常大,我曾经试过几百位的大整数运算,在Haskell中一点问题没有。但如果考虑效率,还需要用Int类型,但数值范围最大只能到2^29。

下面这张图清晰地表示出了与数值相关的一些类型Type和类Class。

斜着的黑字是类型Type,常规文字表示的是一些类,Num是所以数值类型的总类。

haskell-number-type

2 d

从上面的图可以看出,Float和Double都属于RealFloat类,也属于RealFrac类。

Haskell对类型要求很严格,如果x是Float类型,y是Double类型,那么x+y会报语法错误。

3 b

从上面的图可以看出,包围着Integer和Float的椭圆,只有Real类和Num类。

4 c

在ghci中运行:t (/)

(/) :: Fractional a => a -> a –> a

可以看出,除法这个函数,只对属于Fractional类的类型才可以进行,也就是说只有Rational, Ratio Int, Float, Double, Complex Float, Complex Double可以进行除法操作。

5 c

根据除法运算,可以推断出x和y都是Frational中的类型,在ghci中运行:t f

可以得到:

f :: Fractional a => a -> a –> a

6 a

(+)的类型是:

(+) :: Num a => a -> a –> a

由于n :: Int

所以推断出函数g n 1中的所有参数都是Int类型

这篇关于《Two Dozen Short Lessons in Haskell》学习(十二) 数值相关的类的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/484577

相关文章

JavaScript Array.from及其相关用法详解(示例演示)

《JavaScriptArray.from及其相关用法详解(示例演示)》Array.from方法是ES6引入的一个静态方法,用于从类数组对象或可迭代对象创建一个新的数组实例,本文将详细介绍Array... 目录一、Array.from 方法概述1. 方法介绍2. 示例演示二、结合实际场景的使用1. 初始化二

Java进阶学习之如何开启远程调式

《Java进阶学习之如何开启远程调式》Java开发中的远程调试是一项至关重要的技能,特别是在处理生产环境的问题或者协作开发时,:本文主要介绍Java进阶学习之如何开启远程调式的相关资料,需要的朋友... 目录概述Java远程调试的开启与底层原理开启Java远程调试底层原理JVM参数总结&nbsMbKKXJx

Java深度学习库DJL实现Python的NumPy方式

《Java深度学习库DJL实现Python的NumPy方式》本文介绍了DJL库的背景和基本功能,包括NDArray的创建、数学运算、数据获取和设置等,同时,还展示了如何使用NDArray进行数据预处理... 目录1 NDArray 的背景介绍1.1 架构2 JavaDJL使用2.1 安装DJL2.2 基本操

Redis的Zset类型及相关命令详细讲解

《Redis的Zset类型及相关命令详细讲解》:本文主要介绍Redis的Zset类型及相关命令的相关资料,有序集合Zset是一种Redis数据结构,它类似于集合Set,但每个元素都有一个关联的分数... 目录Zset简介ZADDZCARDZCOUNTZRANGEZREVRANGEZRANGEBYSCOREZ

Linux使用fdisk进行磁盘的相关操作

《Linux使用fdisk进行磁盘的相关操作》fdisk命令是Linux中用于管理磁盘分区的强大文本实用程序,这篇文章主要为大家详细介绍了如何使用fdisk进行磁盘的相关操作,需要的可以了解下... 目录简介基本语法示例用法列出所有分区查看指定磁盘的区分管理指定的磁盘进入交互式模式创建一个新的分区删除一个存

关于Maven生命周期相关命令演示

《关于Maven生命周期相关命令演示》Maven的生命周期分为Clean、Default和Site三个主要阶段,每个阶段包含多个关键步骤,如清理、编译、测试、打包等,通过执行相应的Maven命令,可以... 目录1. Maven 生命周期概述1.1 Clean Lifecycle1.2 Default Li

numpy求解线性代数相关问题

《numpy求解线性代数相关问题》本文主要介绍了numpy求解线性代数相关问题,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 在numpy中有numpy.array类型和numpy.mat类型,前者是数组类型,后者是矩阵类型。数组

Redis的Hash类型及相关命令小结

《Redis的Hash类型及相关命令小结》edisHash是一种数据结构,用于存储字段和值的映射关系,本文就来介绍一下Redis的Hash类型及相关命令小结,具有一定的参考价值,感兴趣的可以了解一下... 目录HSETHGETHEXISTSHDELHKEYSHVALSHGETALLHMGETHLENHSET

python中的与时间相关的模块应用场景分析

《python中的与时间相关的模块应用场景分析》本文介绍了Python中与时间相关的几个重要模块:`time`、`datetime`、`calendar`、`timeit`、`pytz`和`dateu... 目录1. time 模块2. datetime 模块3. calendar 模块4. timeit

HarmonyOS学习(七)——UI(五)常用布局总结

自适应布局 1.1、线性布局(LinearLayout) 通过线性容器Row和Column实现线性布局。Column容器内的子组件按照垂直方向排列,Row组件中的子组件按照水平方向排列。 属性说明space通过space参数设置主轴上子组件的间距,达到各子组件在排列上的等间距效果alignItems设置子组件在交叉轴上的对齐方式,且在各类尺寸屏幕上表现一致,其中交叉轴为垂直时,取值为Vert