假设我定义一个简单的类型，如下所示： data Object = House | Table | Book 为了能够将Object用作映射的键，必须从Eq和Ord派生该类型 data Object =House | Table | Book deriving (Eq, Ord) 这一限制的原因是什么？为什么映射的键需要是可排序的？
浏览 11提问于2020-09-05得票数 2
回答已采纳
2回答
我正在尝试表示加权的边。我最终想让OutE成为Eq和Ord的实例，约束是Eq和Ord的实例。假设我有以下文件作为temp.hs：
浏览 0提问于2010-11-18得票数 7
回答已采纳
2回答
我在理解haskell中的错误消息时遇到了一些问题。例如：*Main> test
但如果我试着这样做我收到如下错误消息
Ambiguous type variable `k0' in the constraintexpression: do { print M
浏览 7提问于2012-07-24得票数 1
1回答
我正在尝试使用Data.Map作为后端为概率单体编写和代码，但我被函数式实例卡住了。我有一个数据类型，它是一个概率表：在a关联类型的变量的每个值处都是概率，其类型为Floating f => f。Floating f) => Functor (Prob f) where 但是mapKe
浏览 1提问于2011-04-02得票数 1
回答已采纳
3回答
import Monad.Transλ: :t MaybeT在MaybeT的签名中，m是否可以是更高级的类型，即* -> *？我正在努力学习Monad，所以我很好奇为什么m没有Monad的约束。
浏览 3提问于2015-09-28得票数 2
回答已采纳
1回答
使用，我可以在实例标记中为方法提供签名。
实例声明中的类型签名必须比使用实例类型实例化的类声明中的类型签名更具多态性(或与类声明中的签名相同)。我从中可以看出，sig的类型部分不能更具体；但是为什么不能添加额外的约束呢？毕竟，您可以在实例标记上设置约束，这将使实例比“类声明，使用实例类型实例
浏览 1提问于2021-02-10得票数 1
来检查元素是否在list/set/map中。module Test whereimport qualified Data.Set as Set
类声明中的类型变量b应该是我要检查的元素的类型。然而，这并不适用于Haskell。= elem
如何在类声明中使用b，但仍然使类型重合？
浏览 4提问于2015-06-22得票数 1
回答已采纳
下面的SQL语句是自动在Table1.Table1Column上创建索引，还是必须显式创建索引？ CREATE TABLE [Table1] ( CONSTRAINT [FK_Table1_Table2] FOREIGN KEY [Table1Column] [Table2ID]
浏览 0提问于2008-11-10得票数 73
回答已采纳
创建一个已知类型的空列表 v = [] emptyList : (t : Type) -> List t v' = emptyList NatemptyListOfO
浏览 0提问于2014-07-19得票数 6
回答已采纳
在前奏曲中，我正在检查一些类型。*> let kessel :: (Ord a, Num b) => a -> b -> a; kessel = undefinedkessel 1 2 :: (Numa, Ord a) => a
我不明白为什么Num a作为kessel 1 2类型的类型约束包括在内。它不在kessel最初的类型定义中。为什么它出
浏览 0提问于2019-08-08得票数 3
回答已采纳
2回答
在List monad的基础上，我开始为来自Monad的Map类型定义Data.Map实例，在Maps上执行链接的联合和折叠，就像列表一样，但是使用MapS的高效排序和合并： f >>= g = M.foldr (\a -> M.union (g a)) M.empty f
这编译得很好，但是我希望g对它所操作的每个值的键很敏感。这将使g的
浏览 0提问于2016-06-10得票数 4
1回答
不同参数数函数之间的统一接口
、、、、
我有两个类似的功能：bar :: c -> y -> y你能帮我想出这个案子的接口吗？我以前的尝试如下所示，但此解决方案需要显式类型应用程序来消除情况
浏览 0提问于2018-07-22得票数 2
回答已采纳
我在函数的参数类型中设置了一个约束，而不是在函数的类型中。但是看起来这个约束被完全忽略了。LANGUAGE ScopedTypeVariables #-}test (n :: (Num a, Orda) arising from a use of ‘>’
浏览 3提问于2020-03-05得票数 8
回答已采纳
我要寻找的签名是(Maybe a, b) -> (a, b)，它返回。fromJustTuple :: (Maybe a, b) -> (a, b)上下文是，我在Map上使用了Map，在这里我可以保证我正在查询的密钥存在我可以说，但是我必须禁用incomplete-uni-patterns，这是我不想做的。我很高兴听到这样的话，并了解
浏览 4提问于2022-10-22得票数 2
回答已采纳
2回答
我刚刚读过 ( Peyton & Jones的“类型类:设计空间的探索”)，它解释了Haskell早期的类型分类系统面临的一些挑战，以及如何改进它。，那么在上下文中，Ord (a, b)会缩减为{Ord a, Ord b} (约简并不总是缩小约束的数量)。嗯，我认为它被用来执行某种形式的类型检查。当您有简化<em
浏览 6提问于2016-02-01得票数 7
我成功地定义了范畴，函子，半群，单样约束。现在我被Data.Foldable.Constrained困住了。更确切地说，我似乎正确地定义了不受约束的函数fldl和fldMp，但我无法让它们被接受为Foldable.Constrained实例。我的定义尝试作为注释插入。Control.Category.Hask as Haskimport Data.Foldable.Constrained
import
浏览 0提问于2019-06-06得票数 1
回答已采纳
首先，请注意，我在网上查看(在堆栈溢出和Hoogle)，看看我是否能找到这个话题的任何东西！max :: (Ord a) => a -> a -> acompareWith :: Int -> Ordering
谢谢你花时间帮我解决这个(可能)简单<em
浏览 3提问于2017-02-08得票数 1
回答已采纳
我想知道如何有效地实施以下措施：而插入复杂度几乎是2^x\x，这是要插入的X的powerset的子集的数目(x=x表示集合X的基数)。更具体
result.Lookups:插入:获取集合的子集，插入从每个子集到值集的
浏览 4提问于2012-01-03得票数 3
回答已采纳
1回答
-> [a]filter' a (x:xs) = if a x else filter' a xs
我不清楚的是类型声明但是，在类型声明(a -> Bool)中，我们以递归方式传入来自列表的，输出为true或false。但是，如何表达测试(<10)?为什么我们不添加另一个Bool呢？
浏览 0提问于2016-02-19得票数 2
我正试图在Haskell中实现一个简单的Set，并且一直在研究如何表示它包含的元素的类约束。实现BinarySearchTree实例并不是问题：Ord意味着Eq，因此我可以“覆盖”类约束。我唯一能想到的方法是在BinarySearchTree上添加一个类约束，如下所示：
data Ord a => BinarySearchTree a = Node a (B
浏览 3提问于2014-08-21得票数 5
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
