1回答
我想在我的类型化模板Haskell片段中使用类型类约束，但就是不能让它们工作:在拼接中似乎缺少实例。 下面是我的代码的一个独立的、最小化的版本来演示这个问题。第一个模块定义了一个类型化模板Haskell宏memoryMap和ram0，前者不对tag施加任何约束，后者通过C约束tag {-# LANGUAGE T
浏览 16提问于2020-12-22得票数 9
回答已采纳
概念TS中的C++概念最近被合并到GCC主干中。概念允许通过要求类型满足概念的条件(例如，“可比”)来约束泛型代码。
Haskell有类型类。我对Haskell不太熟悉。概念和类型类之间有什么关系？
浏览 3提问于2015-08-20得票数 39
回答已采纳
rek (n-1) (x - div h 2) (y - div h 2) (div h 2) return arr
但是，将数组类型从
浏览 2提问于2016-08-19得票数 5
回答已采纳
3回答
Hask通常被认为是对象是类型，而态射是函数的范畴。然而，我已经多次看到Conor McBride (@猪工人)警告不要使用Hask (，，)：
我会不鼓励谈论“哈斯克类别”，因为它下意识地限制你在Haskell编程中不去寻找其他的分类结构。注意，我不喜欢使用"Hask“作为”Haskell类型和函数类别“的名称:我担心将一个类别标记为Haskell类别会带来不幸的副作用，使我们看不到Haskell</e
浏览 0提问于2018-06-07得票数 9
回答已采纳
我知道Haskell已经能够将一个类型参数化到另一个类型(类似于C++中的模板编程)，但是我想知道Haskell是否也可以将一个类型参数化过值--它是否支持依赖类型。有了依赖类型，你就可以有一个在整数上参数化的类型，例如，大小n的向量，大小n×m的矩阵等等。
若否，原因为何？将来是否有可能得到支持呢？
浏览 0提问于2013-01-09得票数 21
考虑到一些类型限制因素：import Data.Array.Unboxed(Ix,IArray,UArray)
如何找出哪些类型满足IntLike，即所有上述约束联合isIntLike :: IntLike -> Bool在<
浏览 2提问于2014-10-29得票数 10
在我的应用程序中，我从数据库存储和加载对象(当前是本地平面文件.)。这些对象都来自类型家族Event a，也都可以序列化到/来自ByteString。但类型家族中的a可能会有所不同.下面是基类声明： data Event a :: *以及一个示例实现，以及所需的类型(这里我们只使用Json表示：
instan
浏览 1提问于2014-09-25得票数 5
回答已采纳
2回答
对于我正在编写的库，我希望能够检索具有Bounded和Enum约束的任何类型的大小，作为类型级别的Nat。其目的是定义类型类型实例，例如：
instance ( Enum a, Bounded a, n ~ BoundedEnumSize a ) => Action ( CyclicGroup n ) (是否有办法使用模板Haskell实现这一目标？Template Haskell ... 1 + fromEnum maxBou
浏览 3提问于2020-02-11得票数 1
回答已采纳
2回答
C++20引入了概念，允许我们在模板声明中指定模板参数必须提供某些功能。如果使用不满足约束的类型实例化模板，则编译将在实例化时失败，而不是在编译模板的主体和注意替换后的无效表达式时失败。这很好，但它引出了一个问题:在实例化之前，是否有一种方法让编译器查看模板主体(即将其视为模板，而不是模板的特定实例化)，并检查所有涉及模
浏览 2提问于2022-06-27得票数 0
回答已采纳
5回答
在具有某种类型的反射/自定义的语言中，一个巨大的好处是可以从各种来源自动构造对象。例如，在Java中，我可以使用相同的对象来持久化数据库(使用Hibernate)、序列化到XML (使用JAXB)和序列化到JSON (json-lib)。您可以在Ruby和Python中执行相同的操作，通常还需要遵循一些简单的Java属性或注释规则。
因此我不需要太多的“域转移对象”。我可
浏览 2提问于2010-04-22得票数 16
回答已采纳
1回答
关于选项类型，Minizinc的 (秒)。6.6.3)说：
..。
初始化。opt类型变量不需要在实例时间初始化。未初始化的opt类型变量自动初始化为<>。我想用两种opt类型解
浏览 5提问于2017-11-02得票数 0
回答已采纳
1回答
自从我在爱德华·克米特( Edward )的旧分类--临时演员套装中看到之后，我就一直在脑海中想着这个问题：type f :~> g = forall a. f a -> g a
在我们的上下文中，一个自然转换将是一个多态函数，它与两个具有类型签名(函子f，函子g) =>的Haskell函子实例f和g相关联。类型</
浏览 3提问于2014-02-18得票数 8
1回答
where |]
我想要的结果是instance Eq a => Bar (Foo a) where quux _ = undefined，然而，模板Haskell抱怨说，context的类型是Q Cxt，而不是预期的Q Type。有没有一种方法可以指定实例声明的约束，而不必直接使用构造函数InstanceD？
浏览 2提问于2015-03-05得票数 3
考虑到字节顺序，在Haskell中消除序列化/反序列化二进制数据的样板代码的最佳方法是什么？也就是说，给定这个结构：和派生的Data.Binary.Binary类型类实例：
instance显而易见的方法是使用getWord16le/getWord32le函数，但它涉及到大量的手动工作(可以通过模板Haskell</
浏览 0提问于2011-11-14得票数 4
回答已采纳
Haskell / GHC是否可以提取一个代数数据类型，表示所有类型的Eq和Ord实例？这可能需要泛型、可打字等。，如果它使解决方案更容易，我们可以将我们的范围限制在Ord实例上，因为Eq是Ord隐含的，但是了解约束交集是否可能是很有趣的。这种数据类型将是有用的，因为它提供了在需要Eq和Ord约束的地方使用它的可能性，以及在运行时进行模式匹配来细化类型的可能性。我需要这样做才能在文档索引库中</em
浏览 1提问于2020-05-28得票数 1
回答已采纳
对于任何特定类型的A是否可以编写此函数？filterByType :: a -> Maybe a注意：由于我关于Haskell类型系统的被社区批评为“过于简化”，我觉得有必要声明，这纯粹是学术界对Haskell类型系统的限制感兴趣，没有任何具体的任务需要解决
浏览 3提问于2016-03-16得票数 1
回答已采纳
以下引用GHC用户指南(Haskell平台2012.4.0.0).
Haskell 98禁止类方法类型提及类类型变量的约束，因此：elem的类型在Haskell 98中是非法的，因为它包含约束Eq，只约束类类型
浏览 4提问于2013-04-22得票数 6
回答已采纳
任何人都知道如何在中扩展 GADT{-# language DeriveGeneric #-} -- Identity 1使用(或类似的)允许在中使用多态值当我尝试时，我会得到这样一个类型错误：
exp-dep-map.hs:20:1:
浏览 0提问于2018-04-26得票数 3
1回答
所以我在玩，它看起来并不像那样是的一个实例。如何在实例声明中表示此约束？或者Haskell甚至会让我创建这个实例吗？
浏览 4提问于2014-11-01得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
