我是Haskell的新手，正在尝试过滤特定的自定义数据类型。我一直在阅读Graham Hutton的《Haskell中的编程》一书，但似乎越来越迷惑自己。因此，给定以下类型定义： data Suit= Hearts deriving Eq
der
浏览 27提问于2021-04-28得票数 0
回答已采纳
1回答
Gtk2hs具有各种实现widget类的Widget数据类型。是否有可能编写具有相同功能的自定义数据类型？
假设我想要有小部件来显示和运行Lua代码，如下所示。在Haskell级别上是可能的吗？
浏览 0提问于2011-06-29得票数 6
回答已采纳
1回答
我是Haskell的新手，我尝试创建一个具有不同条件的解析器来理解该语言。在这里，我的解析器用于字符串类型：parseString = do x <- many $ satisfy(\c -> isAscii c && not (c == '\"'))
char
浏览 2提问于2020-01-28得票数 0
回答已采纳
概念TS中的C++概念最近被合并到GCC主干中。概念允许通过要求类型满足概念的条件(例如，“可比”)来约束泛型代码。
Haskell有类型类。我对Haskell不太熟悉。概念和类型类之间有什么关系？
浏览 3提问于2015-08-20得票数 39
回答已采纳
我是haskell的新手，我找不到这个问题的答案。data MyList = MyList [a]
我能不能通过某种方式修改这段代码，让MyList构造函数只接受元素数为偶数的列表？
浏览 0提问于2010-07-23得票数 5
回答已采纳
所以我对Haskell并不熟悉，我正在编写一个基本函数，它以3个整数作为参数，并返回相等的数。else我在return 2和return 0上也有同样的错误什么类型的数据类型是m0 Integer，我需要做什么来解决这个问题？任何帮助都将不胜感激。干杯！！
浏览 0提问于2018-06-25得票数 6
回答已采纳
请有人解释(或给我一些例子或过程)为什么这些条件是必要的终止在Haskell的实例解决过程？或者至少有一个描述此算法的链接。例如，我试着找一些关于它的讲座，但是我只能找到关于类型推理的东西，而不是这个实例解析过程。我引用的话
没有类型变量在约束中比在头中出现的次数更多。该约束比头
浏览 3提问于2019-02-21得票数 3
我想要编写一个Haskell函数，该函数接受具有11个字段的自定义类型，并返回所有字段的值的列表，或将字段的名称与其值相关联的映射。我不想显式地获取每个字段，因为那样会很冗长，也不太通用。
浏览 0提问于2013-05-31得票数 3
回答已采纳
我一直在尝试使用GADT等在Haskell中创建一个完全类型安全的AST的全类型DSEL，似乎做一个正确类型的编译器需要构造从Haskell类型到类型和值(类型化环境)的映射，以及可以被Haskell类型系统理解的结构C++有一个Boost.Fusion库，它具有这样的结构(类型</e
浏览 2提问于2011-11-30得票数 10
回答已采纳
2回答
我试图在Haskell中创建一个函数，返回下面所示的Resp类型，这是BNF和Haskell类型之间奇怪的混合。elem ::= String | (String, String, Resp)我的问题是(a)如何在Haskell中定义这种类型，以及(b)是否有一种方法可以在不强制使用自定义构造函数的情况下做到这一点
浏览 0提问于2013-07-15得票数 4
回答已采纳
5回答
在具有某种类型的反射/自定义的语言中，一个巨大的好处是可以从各种来源自动构造对象。例如，在Java中，我可以使用相同的对象来持久化数据库(使用Hibernate)、序列化到XML (使用JAXB)和序列化到JSON (json-lib)。您可以在Ruby和Python中执行相同的操作，通常还需要遵循一些简单的Java属性或注释规则。
因此我不需要太多的“域转移对象”。我可以专注于我正在工作的</em
浏览 2提问于2010-04-22得票数 16
回答已采纳
1回答
类型检查失败与as-模式
、、、
我为我的自定义Either类型编写了一个名为Or的Or实例，它运行得很好，如下所示： | Second b at /home/me/haskell/functors/src/Lib.hs:139:3-6
‘b’ is a(a1 -&g
浏览 2提问于2018-03-26得票数 1
回答已采纳
在Scala中使用一些较新的语言特性，可以实现一个可组合的组件系统，并使用所谓的蛋糕模式创建组件，Martin Odersky在论文和中对此进行了描述。Cake模式中使用的几个Scala特性具有对应的Haskell特性。例如，Scala隐含对应于Haskell类型类，而Scala的抽象类型成员似乎对应于Haskell的关联类型。这让我想知道Cak
浏览 5提问于2012-10-18得票数 20
回答已采纳
我有以下类型声明：(有些人可能会从另一个Haskell教程中认识到这个声明)。我很难解释为什么类型构造函数比数据构造
浏览 1提问于2017-02-26得票数 2
回答已采纳
2回答
在Haskell中，类型的“类型”称为种类，表示为*。例如： Either :: * -> * -> *它们是否具有任何实际意义？是否有任何情况证明它们是非常有用的？
如能提及某些材料，将不胜感激。
浏览 2提问于2016-07-01得票数 1
回答已采纳
在Haskell中编写插入和成员操作。确保在ML和Haskell中，Set数据类型与列表不同。在Haskell中，将Set类型定义为类Eq和Show的实例。i有办法把这个变成课堂吗？对不起，我只是在学习函数式编程。是否有一种方法可以实际创建具有成员变量(例如list )的Set类？
浏览 0提问于2016-03-07得票数 0
回答已采纳
1回答
如何在Haskell中构建具有以下条件的图形：type Arc = (Node, Node) class Graph g where
build
浏览 2提问于2013-04-07得票数 1
1回答
我在Haskell中有一个自定义数据类型。我有一个自定义类型，以后我希望从中获取一个属性并输出它。在Java中，我只需使用。(点)操作符，但是在Haskell中不起作用。我该怎么做呢？这是我现在的代码type Name = Stringx = (P "
浏览 3提问于2022-04-11得票数 -1
回答已采纳
1回答
我一直在阅读各种类型的系统和lambda计算器，我看到lambda立方体中所有类型的lambda计算器都是强规范化的，而不是图灵等价物。这包括System，简单类型的lambda演算加上多态。这就引出了以下问题，我一直找不到任何可理解的答案：
Haskell中的哪些语言特性不属于F系统的
浏览 5提问于2014-08-12得票数 48
回答已采纳
免责声明:我刚开始和haskell合作。 deriving (Show, Eq)
deriving (Show, Eq)
我想编写一个可以过滤文本的函数(即根据某些条件取出某些a
浏览 6提问于2022-09-30得票数 0
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
云直播
腾讯云开发者
