[Int] 之和导致溢出

2024-03-08

我有一个返回的函数[Int]我想计算列表的总和。然而,虽然每个单独的元素都小于maxBound::Int,总和肯定更大。

一个(人为的)例子:

ghci> sum ([1..10000000] :: [Int])
-2004260032

有没有办法强制 sum 累积成Integer而不是Int?我这个想法是不是错了?


sum 返回与其输入列表元素相同的类型:

sum :: Num a => [a] -> a

所以你需要传递它[Integer]为了返回一个Integer。如果您的输入列表已经是类型[Int],您可以使用该函数:

sum . map fromIntegral

instead:

ghci> sum . map fromIntegral $ ([1..10000000] :: [Int])
50000005000000
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

[Int] 之和导致溢出 的相关文章

  • Cabal 在 NixOS 上构建时找不到外部库

    我正在尝试使用 cabal2nix 在 NixOS 上构建一个内部 Haskell 项目 它包装 并因此依赖 一个外部库 在 Ubuntu 上可以通过以下方式构建 wget设置源 然后运行make make install ldconfig
  • 有没有办法从 IO monad 中解开类型?

    我有这个非常简单的功能 import qualified Data ByteString Lazy as B getJson IO B ByteString getJson B readFile jsonFile readJFile IO
  • 如何在 Windows 7 中配置 cabal?

    我已经在Windows 7中安装了Haskell Platform 2012 我在控制台中编写cabal update我收到消息说有新版本的阴谋集团 我写的cabal install cabal install 安装完成后 它告诉我 cab
  • 移动列表中特定元素的简单函数

    我是 Haskell 的新手 我正在尝试弄清楚如何创建一个函数 shift Eq a gt a gt a gt Int gt a shift x h t z 输入 一个通用列表和一个相同类型的元素 x 前提条件 元素x存在于列表中 Outp
  • Haskell 中的异构多态性(正确方法)

    让一个模块来抽象Area操作 错误的定义 class Area someShapeType where area someShapeType gt Float module utilities sumAreas Area someShape
  • Accelerate 和 Repa 是否有不同的用例?

    我一直在玩 Repa 和 Accelerate 它们都很有趣 但我不知道何时使用其中一个 何时使用另一个 他们是一起成长 是竞争对手 还是只是为了解决不同的问题 Repa 是一个用于高效数组构建和遍历的库 用 Haskell 编程并在 Ha
  • Haskell Cabal 包 - 找不到 Paths_ 模块

    我正在开发一个 Haskell 项目 Happstack 服务器 Blaze HTML 前端作为主要库 我想添加一个静态数据目录 看起来你可以使用 Cabal 使用自动生成的Path
  • 导入 Haskell 模块

    我是哈斯克尔的新手 为什么当我尝试使用时Days from Data Time我收到此错误 Could not find module Data Time It is a member of the hidden package time
  • Haskell 中的前提条件检查有哪些选项

    这是一个简单的问题 我认为答案很复杂 一个非常常见的编程问题是函数返回某些内容 或者前置条件检查失败 在Java中 我会使用一些抛出异常的断言函数IllegalArgumentException在方法的开头 如下所示 method body
  • 为什么 Parsec 的 sepBy 停止并且不解析所有元素?

    我正在尝试解析一些逗号分隔的字符串 该字符串可能包含也可能不包含具有图像尺寸的字符串 例如 hello world 300x300 good bye world 我写了下面的小程序 import Text Parsec import qua
  • Haskell 中的实例声明

    我有这两个功能 primes sieve 2 where sieve p xs p sieve x x lt xs x mod p gt 0 isPrime number number 1 null x x lt takeWhile x g
  • Haskell 类型系统的细微差别

    我一直在深入了解 haskell 类型系统的本质 并试图了解类型类的要点 我已经学到了很多东西 但我在下面的代码片段上遇到了困难 使用这些类和实例定义 class Show a gt C a where f Int gt a instanc
  • 在 Haskell 中,为什么我必须在这段代码中使用美元符号?

    我仍在尝试破解这段代码 import Data Char groupsOf groupsOf n xs take n xs groupsOf n tail xs problem 8 x maximum map product groupsO
  • 持久 selectList 导致错误“无法将类型‘BaseBackend backend0’与‘SqlBackend’匹配”

    我遇到以下编译错误 Couldn t match type BaseBackend backend0 with SqlBackend arising from a use of runSqlite The type variable bac
  • Haskell 中的 print 是纯函数吗?

    Is print在 Haskell 中是纯函数 为什么或者为什么不 我认为不是 因为它并不总是返回与纯函数应返回的值相同的值 类型的值IO Int并不是真正的Int 它更像是一张纸 上面写着 嘿 Haskell 运行时 请生成一个Int如此
  • 纯函数怎么能做IO呢?

    我最近了解到莫纳德随机数 http hackage haskell org package MonadRandom 0 1 13 docs Control Monad Random Class html t 3aMonadRandom图书馆
  • 搜索重写规则

    有什么办法可以浏览或搜索重写规则吗 当我使用像这样的标志时 ddump rule firings or ddump rule rewrites我只是得到了触发的规则的名称以及它引起的重写 但没有得到实际的规则本身 理想情况下 我想通过 GH
  • Haskell 中的分类结构

    Hask通常被认为是一个范畴 其对象是类型 态射是函数 然而 我看到 Conor McBride pigworker 警告不要使用Hask多次 1 https stackoverflow com a 45905082 474311 2 ht
  • Haskell 中列表列表的笛卡尔积

    给定一个长度列表的列表x所有子列表的长度都相同y 输出y x长度列表x包含每个子列表中的一项 例子 x 3 y 2 1 2 3 4 5 6 Output 2 3 8不同的输出 1 3 5 1 4 5 1 3 6 1 4 6 2 3 5 2
  • 在 Yesod 生态系统中,对某些文本进行 urlencode 的最佳方式是什么?

    我想对一些文本进行 url 编码 例如 用 20 替换每个空格等 我找到了 HTTP Network HTTP Base urlEncode 并且可以使用它 但我想知道是否还有其他通常在 Yesod 生态系统中使用的东西 不幸的是 由于 U

随机推荐

  • 正则表达式匹配包含n个或更多指定字符的文本

    我需要找到包含超过 10 个 的行 导入 CSV 时出错 因此需要手动更正 我使用的是 Notepad 所以我不需要编写 reqex 来匹配行 只需编写逗号即可 11 100 does not work 也匹配逗号 您需要排除那些具有否定字
  • Python unicode编码问题

    使用Python 2 7 5 所有数据库和表都是 我的代码看起来像这样 import MySQLdb as mdb import urllib2 import sys import logging logging basicConfig l
  • 基于 Trie 的地址簿和按姓名和联系电话进行高效搜索

    基于 trie 数据结构开发地址簿是一种已知的方法 它是一种高效的字符串数据结构 假设如果我们想为基于姓名 数字等的地址簿创建一个有效的搜索机制 那么有效的数据结构是什么 可以基于任何类型的搜索词 无论数据类型如何 实现内存高效和更快的搜索
  • 使用 Boto3 通过 Python 将图像上传到 Amazon S3 的最有效方法

    我正在实现 Boto3 将文件上传到 S3 一切正常 我正在做的过程如下 我从 FileReader Javascript 对象获取 base64 图像 然后我通过ajax将base64发送到服务器 解码base64图像并生成一个随机名称来
  • Android SensorManager 和 Google Fit 原始传感器数据之间的区别?

    对于我的应用程序 我需要读取用户的最新心率以发送每条消息 一个是 Android SensorManager 另一个是 Google Fit 的 Sensors 还有三星的健康应用程序 不要认为这个应用程序会给我需要的数据 因为我不需要过去
  • 如何在 HTML 页面中显示代码(特别是 C++)?

    如何使用 HTML 在网站中显示代码 基本上 我有一个 C 程序 我想在我的网站上分享它 并且我想在页面中显示它 除了使用 HTML 文本之外 还有什么办法可以在 HTML 中显示 C 代码吗 HTML 包括一个名为 code https
  • static_cast<> 和 C 风格转换有什么区别? [复制]

    这个问题在这里已经有答案了 有什么理由更喜欢static cast lt gt 超过 C 风格的铸造 它们相等吗 有什么速度差异吗 C 风格的转换由编译器检查 C 风格的转换不是这样 并且可能在运行时失败 另外 C 风格的转换很容易搜索 而
  • 使用 xpath 计算 XML 中的元素数量

    我使用这个优秀的论坛来教自己一些基本的 xpath 来查询 XML 文件 我这里有一个 XML 文件的示例 我正在尝试使用 Matlab 导入 XML 文件中 3 个对象的 X Y 坐标
  • 使用 jQuery 修改 :after 伪元素的 CSS [重复]

    这个问题在这里已经有答案了 我用 after伪元素在块 li 就我而言 想法是区分当前选择的li来自其他人 在这里摆弄 http jsfiddle net kbpg6 html如下 ul li class active style back
  • FormControl 是用来做什么的?为什么使用它?应该如何使用呢?

    有人可以用外行的术语向我解释 FormControl 提供什么功能 以及为什么 如何使用它 我在 React 中使用 Material UI 我看到的许多表单示例都使用 FormControl 但我很难理解它的作用 以及它对于我的项目是否有
  • 更改 isreadonly 时 XAML 文本框边框消失?

    如何更改特定文本框的样式 在使其只读属性为 true 时显示边框 我只想显示边框 所以现在我必须为此创建一个新样式 我尝试使用这种风格 但它不起作用
  • Prestashop 1.7.1 - 顶部横幅应使用哪个挂钩?

    下列的这个问题 https stackoverflow com questions 47274748 top ad banner prestashop 1 7 1我创建了一个新横幅 现在我想插入一个钩子 但我想知道应该使用哪个钩子将其显示在
  • 迭代共享点列表

    在代码中如何访问列表 例如共享点中的 MyList 然后迭代此列表项并获取该列表上特定列的值 例如 URL 列 要从列表中检索所有项目并迭代每个项目 最佳解决方案如下 假设此代码作为功能的一部分运行 public override void
  • jquery验证器表单:如何在完成远程电子邮件验证后访问表单操作

    History 我之前开始这个问题这个线程 https stackoverflow com questions 31966294 form post is omitted after jquery validation is complet
  • phoneGap - iOS - 图像可以通过 wifi 正常使用,但无法使用 3G 加载(使用 safari 工作正常)

    我遇到了一种奇怪的行为 我的应用程序的 远程托管 图像仅在这种情况下不会显示 使用3G加载 在 iPhone 上 using phonegap 在以下情况下图像加载正常 我启动该应用程序 有 wifi 即使是热点 我启动了该应用程序的网站版
  • 如何在MongoDB中指定字段进行多条件查找查询?

    这是单个文档 id firstName john lastName Doe cars id carName BMW carModel 330 carColor silver id carName Lexus carModel IS300 c
  • Python 的 3D 场景渲染器 [关闭]

    Closed 这个问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 我正在寻找一个易于使用的 Python 3D 场景渲染器 我所寻找的只是能够 加载3D场景模型 使用正
  • 无法在azure devops中构建asp.net应用程序

    能够在本地构建应用程序 但是当我尝试在 azure Devops 管道中构建时 它显示以下错误 我已经安装了实体框架并在 Web 配置文件中添加了 system data entity design 程序集 不走运 请在此处查找管道 htt
  • Bash 确认不会等待用户输入

    我正在尝试使用 bash 脚本实现确认提示 但由于某种原因 提示不会等待用户输入 我尝试过很多例子 但到目前为止还没有运气 如果有什么区别的话我用的是MacOS 只是我尝试过的几个例子 所有复制 粘贴来自SO中的其他答案 bin bash
  • [Int] 之和导致溢出

    我有一个返回的函数 Int 我想计算列表的总和 然而 虽然每个单独的元素都小于maxBound Int 总和肯定更大 一个 人为的 例子 ghci gt sum 1 10000000 Int 2004260032 有没有办法强制 sum 累