- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我想在 Haskell 中创建一个简单的平均(mean)函数,所以我在 ghci 中尝试了以下操作:
ghci> let avg xs = (sum xs) / (length xs)
它会抛出以下错误:
No instance for (Fractional Int)
arising from a use of `/'
Possible fix: add an instance declaration for (Fractional Int)
In the expression: (sum xs) / (length xs)
In an equation for `avg': avg xs = (sum xs) / (length xs)
因此,我决定尝试以下方法来分解它:
ghci> let a = (sum [1,2])
ghci> let b = (length [1,2])
一切都很好。
然后我尝试了以下方法
ghci> a/b
我收到以下错误:
Couldn't match expected type `Integer' with actual type `Int'
In the second argument of `(/)', namely `b'
In the expression: a / b
In an equation for `it': it = a / b
那么,在 Haskell 中,Integer
和 Int
不同吗? - 如果是这样,我怎样才能使原来的功能发挥作用?
最佳答案
问题在于
length :: [a] -> Int
但是
(/) :: (Fractional a) => a -> a -> a
所以,当你说whatever / length xs
时,它不会输入,因为 Int 不是小数类型!这就是“没有...的实例”错误试图告诉您的内容。这个定义将起作用:
GHCi> let avg xs = sum xs / fromIntegral (length xs)
在这里,我们使用 fromIntegral :: (Integral a, Num b) => a -> b
转换我们从 length
获得的 Int化为小数。请注意,由于这个原因,生成的函数仅适用于小数列表(但例如 avg [1,2,3]
仍然可以正常工作)。
为了解释“分段”执行此操作时出现的错误,这是因为 let a = sum [1,2]
,列表的元素是整数,因此它们的和是整数,但在 let b = length [1,2]
中,结果长度是一个 Int,根据 length
的类型我在上面展示了。所以,当你这样做 a/b
,在它意识到 Int 和 Integer 不是 Fractional 的实例之前就失败了——因为 (/)
接受两个相同类型的参数,它不可能工作。
是的,Integer 和 Int 是不同的 — Int 是固定精度整数类型,通常是数字单词的大小,例如 long
在C中,Integer是任意精度的bignum,能够存储任何整数;或者至少是适合您 RAM 的任何整数:)
另一种可能的方法是定义 avg xs
如sum xs / genericLength xs
,使用 Data.List.genericLength
,它适用于任何数字类型,而不仅仅是整数:
genericLength :: (Num b) => [a] -> b
为此,您必须 import Data.List
在 GHCi 中。另一种可能的方法(但会产生完全不同的函数)是使用整数除法:let avg xs = sum xs `div` length xs
(注意: a `div` b
只是 div a b
;这个语法糖适用于每个函数)。
关于haskell - 为什么这个平均函数在 haskell 中不起作用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8917878/
今天有小伙伴给我留言问到,try{...}catch(){...}是什么意思?它用来干什么? 简单的说 他们是用来捕获异常的 下面我们通过一个例子来详细讲解下
我正在努力提高网站的可访问性,但我不知道如何在页脚中标记社交媒体链接列表。这些链接指向我在 facecook、twitter 等上的帐户。我不想用 role="navigation" 标记这些链接,因
说现在是 6 点,我有一个 Timer 并在 10 点安排了一个 TimerTask。之后,System DateTime 被其他服务(例如 ntp)调整为 9 点钟。我仍然希望我的 TimerTas
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
我就废话不多说了,大家还是直接看代码吧~ ? 1
Maven系列1 1.什么是Maven? Maven是一个项目管理工具,它包含了一个对象模型。一组标准集合,一个依赖管理系统。和用来运行定义在生命周期阶段中插件目标和逻辑。 核心功能 Mav
我是一名优秀的程序员,十分优秀!