n
因为sort的类型是Ord a => [a] -> [a]，所以无法编译。这对我来说似乎很奇怪，因为我认为所有的Num-type值都是固有的可排序的。为了解决这个问题，我需要添加一个额外的类型约束(即(Fractional a, Ord a) => [a] -> Int -> a)。查看Haskell的文档，这在中是有意义的。尽管
浏览 6提问于2018-01-29得票数 2
回答已采纳
如何检查对象在Python中是否可排序/可排序？
我正在尝试为我的二叉树类的__init__方法实现基本类型检查，我希望能够检查节点的值是否可排序，如果不是，则抛出一个错误。我正在尝试完成类似于Haskell的(Ord a) => etc.限定符的事情。Python中有类似的检
浏览 6提问于2013-10-27得票数 7
回答已采纳
7回答
List是一个具有自然排序/索引的集合。这些接口抽象了Java中的许多库数据结构，它们在其他语言中的等效接口也是如此，需要对这些接口有深入的了解才能有效地与大多数库数据结构一起工作。向Haskell的过渡：
Haskell有一个类型类系统，它对类型的作用类似于对象上的接口。当类型涉及功能时，Haskell</e
浏览 0提问于2014-08-07得票数 59
回答已采纳
1回答
具体来说，在中
首先，他们坚持认为类型可以完全以一种方式实现类型类。例如，根据类型类的哲学，整数可以精确地以一种方式(通常的排序)排序，但显然有许多顺序(例如，按可分性)。第二个问题是，它们混淆了两个不同的问题:指定类型是如何实现类型类的，以及在类型推断期间应该何时使用这样
浏览 2提问于2016-04-28得票数 27
回答已采纳
rek (n-1) (x - div h 2) (y - div h 2) (div h 2) return arr rek l 32 32 32有人能澄清为什么会发生这种事吗
浏览 2提问于2016-08-19得票数 5
回答已采纳
2回答
OOP接口与FP类型类的区别
、、、、
可能重复：
一年后，我广泛地使用了接口和类类型，我还没有看到一个例子或说明它们是如何不同的。这要么不是自然的启示，要么是我忽略了一些显而易见的东西，或者实际上并没有真正的区别。
搜索互联网并没有发现任何实质性的东西。那么，你有答案吗？
浏览 4提问于2011-11-14得票数 69
回答已采纳
谁能给我解释一下为什么在Haskell中没有定义Set数据类型？
旁白:我学习Haskell只是作为逻辑课程的一部分，其中集合论非常重要，因此在Haskell中有集合的概念会很方便。有一个列表并删除重复项(可能还有排序)也会产生一个集合，但我很好奇为什么它不是内置的？
浏览 0提问于2011-09-26得票数 19
回答已采纳
instance (RealFloat a) => Num (Complex a) where为什么3 (Num a => a)和2.5 (小数a => a)可以与(x:+y)进行模式匹配，而Double不能？
浏览 1提问于2012-03-28得票数 7
回答已采纳
1回答
我正在编写Haskell，但它可以应用于任何具有ADT概念的OO或函数式语言。我将在Haskell中给出模板，忽略算术运算符已经被采用的事实： (+) :: a -> a -> a x(*) :: (RealFrac b) => a -> b -> a negate x = x * (-1)
基本上，这些东西可以加减，
浏览 2提问于2010-10-19得票数 3
回答已采纳
3回答
这种类型可能是函数head、tail和其他函数将成为新创建的Listable类型类的方法。有些函数已经可以适用于现有的类型类(映射/折叠/遍历/单子)。
为什么这样的类型不是Haskell标准库的一部分？
浏览 3提问于2014-12-29得票数 5
回答已采纳
2回答
更高等级的类型？
、、、、
我最近才了解到更高的类型，但我提供的每一个例子都只使用了第2级的(* -> *) -> *，比如Functor。
在Scala中，使用了一个奇怪的特性定义，而在Haskell中，使用了类型类。我既不是Scala方面的专家，也不是Haskell方面的专家，所以如果您能够提供这样高级别类型的简单示例，如
浏览 4提问于2017-11-24得票数 2
4回答
在Haskell中被零除
、、、
我发现div和/的行为有一个非常奇怪的不一致。Fractional a => aInfinity*** Exception: divide by zero
我非常惊讶地注意到，除以零小数会导致/也可以接受NaN，但为什么是Infinity呢？对于这样的结果，没有数学上的理由。你知道这是什么原因吗？
浏览 0提问于2012-02-20得票数 24
回答已采纳
在我尝试调试的Haskell程序中，定义了一个类： lookupIn :: d -> Word -> String
我想创建一个名为runs的变量，并将其类型设置为Dictionary，这样我就可以在lookupIn函数中使用它。
浏览 1提问于2013-03-08得票数 2
回答已采纳
4回答
匿名函数概念理解
、、
我正在努力学习和理解Haskell的设计。我目前使用的是Lambda /匿名函数，我想知道。关于这个问题，我想知道是不是因为在所有的lambda函数中，z可以是任何东西，甚至可能是一个自由变量，所以制作Eq类型的lambda函数是一个设计缺陷<em
浏览 8提问于2013-04-05得票数 5
回答已采纳
我想计算0.2 * 0.2，但结果不是0.04。4.000000000000001e-2BigDecimal result = new BigDecimal("0.2").multiply(new BigDecimal("0.2"));
doublevalue = result.dou
浏览 2提问于2015-10-16得票数 0
我有一个应用程序正在为每个地址提取所有的erc20令牌。现在，我希望将已经计算到正确数量的这些值存储到postgres中。现在，我使用的是普通数字的列类型。 try { let balance
浏览 0提问于2021-11-02得票数 0
我在试着理解这里的缺点在哪里。SML模块系统只是提供依赖类型，类似于Idris如何扩展Haskell类型系统，或者除了依赖类型的添加功能之外，还有其他功能吗？在现有的互联网文章中，关于SML模块系统的信息对我来说要么很难找到，要么很难理解。依赖类型被提供作为两种类型系统之间可能不同的示例，但事实证明这是一个糟糕的示例，因为两个系
浏览 36提问于2014-06-04得票数 11
回答已采纳
1998年，John在中为Haskell提出了Arrow类型类。这个类型类附带了许多‘非alpha-数字’操作符，比如***和&&&。然而，他并没有给出这些运营商的可宣布名称。Haskell的Monad类型类在>>=中也有类似的情况，它被发音为bind。
我的问题是如何发音A
浏览 3提问于2016-06-24得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
