我有一个类型，它有一个mappend-like函数，但没有真正的mappend，所以它不是Semigroup。y) | otherwise = Just $ MyType $ x + y 当MyType被包装在Maybe中时如果我可以像这样在“组合”类型Maybe MyType上定义一个Semigroup实例，那么我需要能够完美表示的语义： instan
浏览 17提问于2019-08-30得票数 7
回答已采纳
我有一个具有关联类型的类型类： type Bar a :: *data Blat = forall a.在我的实际应用中，“？”为了使程序逻辑正确，需要利用Blat a中存在的隐藏"a“。
这在Haskell中</e
浏览 5提问于2018-09-05得票数 0
1回答
函数规划中的构造实体几何
、、、、
我正在haskell程序中实现CSG。当我在一个OOP拉赫盖奇(OOP)中这样做的时候，我受到了综合赞助人的启发。为了在Haskell中以这种方式实现CSG树，我考虑的是递归数据类型：然后通过模式匹配定义对象上的函数。这里<em
浏览 2提问于2014-02-16得票数 0
回答已采纳
目前，我正在与Hutton教授的“Haskell编程”一起学习Haskell，我发现了一些奇怪的东西，可能是类应用实例的定义。在GHC.Base中，实例Applicative Maybe定义如下： pure = Just
Nothing <*> _m
浏览 1提问于2018-08-13得票数 5
回答已采纳
2回答
Swift有两种类型:命名类型和复合类型。命名类型是在定义特定名称时可以指定的类型。命名类型包括类、结构、枚举和协议。例如，名为MyClass的用户定义类的实例具有MyClass类型。除了用户定义的命名类型之外，Swift标准库还定义了许多常用的</
浏览 5提问于2016-01-19得票数 2
回答已采纳
1回答
以下Haskell类型类和实例： able :: a -> Int
able x = x def able(a: A): Int def able(a: Int) = a在Haskell中，我现在可以定义一种捕获所有实例<
浏览 2提问于2016-02-15得票数 8
回答已采纳
2回答
对于我正在编写的库，我希望能够检索具有Bounded和Enum约束的任何类型的大小，作为类型级别的Nat。其目的是定义类型类型实例，例如：
instance ( Enum a, Bounded a, n ~ BoundedEnumSize a ) => Action ( CyclicGroup n ) (是否有办法使用模板Haskell实现这一目标？Template Haskell ... 1
浏览 3提问于2020-02-11得票数 1
回答已采纳
在我尝试调试的Haskell程序中，定义了一个类： lookupIn :: d -> Word -> String
我想创建一个名为runs的变量，并将其类型设置为Dictionary，这样我就可以在lookupIn函数中使用它。
浏览 1提问于2013-03-08得票数 2
回答已采纳
回想一下，在数学中，岩浆是一个具有二进制运算的集合。我在Haskell定义了一个岩浆类型： multiplication :: a -> a -> ainstance Magma [a] where
multiplication x y =
浏览 1提问于2016-07-07得票数 2
回答已采纳
2回答
在Haskell中，在定义数据类型时，可以选择自动派生某些实例，但我是否可以推迟自动派生，甚至可以将其放到另一个库中？在Haskell中自动派生是一个实时保护程序！module MoneyModule where
deriving Show
现在我希望使用MoneyModule，但我也希望为Money提供一个Read实例
浏览 3提问于2012-10-12得票数 14
回答已采纳
在Haskell中，有(->) r类型函子实例的定义。 fmap = (.)解释说，((->) e)是以e类型的值作为参数的函数类型。这是有道理的，但与Maybe，Either a，甚至[]相比，我不知道以后如何使用[]。我想我理解这些函子定义，它们的名称是
浏览 0提问于2020-08-02得票数 4
回答已采纳
在Haskell中编写插入和成员操作。确保在ML和Haskell中，Set数据类型与列表不同。在Haskell中，将Set类型定义为类Eq和Show的实例。i有办法把这个变成课堂吗？对不起，我只是在学习函数式编程。是否有一种方法可以实际创建具有
浏览 0提问于2016-03-07得票数 0
回答已采纳
3回答
在面向对象的语言(例如Java和Python)中，我们可以从类中生成对象/实例。在Haskell中，我们可以从类型类中创建实例，例如：
class：实例在haskell中意味着什么？在java<e
浏览 4提问于2017-07-03得票数 20
回答已采纳
我在学校上Haskell课程，我必须在Haskell中定义一个逻辑命题数据类型。到目前为止，一切都很好(定义和函数)，我已经将它声明为Ord、Eq和show的一个实例。当我需要定义一个与用户交互的程序时，问题就出现了:我必须将用户的输入解析为我的数据类型：data FProp = V Var
| No F
浏览 0提问于2018-02-06得票数 0
回答已采纳
5回答
Haskell的TypeClasses和Go的接口有什么相似之处和不同之处？这两种方法的优缺点是什么？
浏览 1提问于2010-06-06得票数 30
1回答
在haskell 1 :: Num a => a。
我如何(如果以任何方式)复制这种行为，即定义类型类型MyNum (可能是类型和实例)和类型为One :: MyNum a => a的对象One
浏览 1提问于2017-04-06得票数 3
回答已采纳
在本文件第33页：有以下一句：Giesl教授的Haskell讲座(英文)的相应部分是1小时21分钟( )
浏览 1提问于2014-05-17得票数 2
回答已采纳
我有两个密切相关的问题： (&&&) :: a b c -> a b c' -> a b (c,c')其次，在Haskell中，(->
浏览 0提问于2012-10-29得票数 13
回答已采纳
2回答
在Haskell或Scala中是否存在Either的标准专门化，从而使Left和Right中包含的类型成为相同的类型？在Haskell，我想要这样的东西这也可能被认为是Maybe的一个小小的概括，它使Nothing保持了一个值。编辑: Ganesh提出了一个
浏览 3提问于2014-06-16得票数 5
回答已采纳
我刚接触haskell编程和学习类型系统，在理解空值数据构造函数时遇到了困难。Green | Blue | Indigo | Violet deriving Show
genColor = Red 在Has
浏览 2提问于2021-06-23得票数 5
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
