我想为我的数据提取构造函数的值，它是产品类型data X = Xa A | Xb B | Xcd C D | Xefg E F G....的总和，其中A、B、C…是data A = A {a :: xyz, b :: abc..}类型的，我想要一个函数，它接受X类型的值，然后给我"Xa"，"Xb“..基于类型。我知道我可以用例，但是有
浏览 17提问于2021-07-20得票数 0
1回答
我正试图将mocha绑定写到PureScript中，并且对Control.Monad.Eff完全感到困惑。describe(function(){});foreign import describe \ return function(){
浏览 2提问于2014-07-14得票数 12
回答已采纳
问题:我有许多常见字段的不同记录类型。如何在记录类型定义中“包括”公共字段？b :: Int, y :: String }如何用PureScriptCommonFields, y :: String }在Union
浏览 0提问于2018-08-23得票数 12
回答已采纳
2回答
我注意到，这两个定义在Haskell文档的最正式资源中找不到：data [] a = [] | a : []-- The (:) operator is built-in syntax, and cannot legally be given
-- a fixity declaration
浏览 4提问于2015-09-02得票数 15
回答已采纳
我试图在Purescript中建模Firestore中的数据类型。FieldPath)
= MergeOption Merge请注意，SetOptions是一个sum类型现在我需要将SetOptions转换成Javascript对象，这样我就可以从Javascript firebase库将它传递给某个函数。我不能使用，因为包含的数据不是同构<em
浏览 1提问于2020-03-12得票数 3
回答已采纳
我对purescript和haskell (甚至是javascript和node)都是新手，所以我很难弄清楚如何在purescript中保存一个子进程的输出。我使用的是purescript-node-子进程和purescript-node-fs模块。log $ "done with " <> cmd
正如我在上面的评论中所显示的，问题出在来自Node.Stream模块的onData<e
浏览 0提问于2017-01-03得票数 3
我刚开始使用函数式编程，我决定在Purescript中构建一个应用程序。我遇到了我的第一个障碍，我不知道如何从概念上考虑这个问题。
[ {a :: String, b :: String, c :: String} ]
我希望使用提供的记录(带有上述类型的列表)创建Html列表(这是purescript-halogenMyRecordObject -&
浏览 4提问于2017-01-14得票数 5
回答已采纳
2回答
在Haskell中是否有类似于创建“构造函数别名”的方法？我认为类似于类型别名，您可以给类型一个不同的名称，但它仍然以各种方式表现为别名类型。一个简单的type Timeslot = Either UTCTime (Maybe UTCTime)肯定会在很大程度上清理我的类型签名，但这对构造函数
浏览 5提问于2013-09-28得票数 5
回答已采纳
与其他类型级别的函数相比，Haskell中的“类型构造器”概念有什么独特之处？据我所知，他们：
在提供有限数量的参数后，生成一个简单的类型(例如，不是约束)。
浏览 0提问于2018-08-25得票数 6
它是一个infix值构造函数吗？我真的找不到:的源代码。[1]被定义为一个简单的代数数据类型吗？如果是，怎么做？这只是我的猜测。我没有把握。这些构造是否硬编码到编译器中？
让我们称:为cons，将[ ]称为Nil。使用这些名称，您将如何在Haskell中实现相当于:和[ ]
浏览 1提问于2014-04-20得票数 1
回答已采纳
1回答
我使用以下数据类型定义了递归下降解析器的结果： = Program CST CST | StatementListCST | TermComponent Token | NoInput
正如数据类型名称所暗示的那样，数据类型构建了一个具体的语法树。我想知道是否有一
浏览 2提问于2018-03-13得票数 2
回答已采纳
3回答
我正在解决99个Haskell问题。我成功地解决了第21号问题，当我打开时，提出了以下解决方案：
insertAt x xs (n+1) = let (ys,zs) = split xs n in ys++x:zs
我发现模式(n + 1)很有趣，因为它似乎是一种优雅的方法，可以将insertAt的基于1的参数转换为基于0的split参数(这是以前练习中的
浏览 4提问于2014-09-11得票数 6
回答已采纳
重新定义函数是很简单的(,) a b = (a,b)(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) :: a -> b -> c -> ... -> (a,b,c,...这是怎么做的？为什么不对元组上的所有标准<e
浏览 0提问于2012-08-11得票数 6
回答已采纳
更具体地说，我要找的是两件事：..。在Haskell程序中。我知道能够自动推断派生Generic的任何记录数据类型的JSON表示形式，但是阅读它的源代码只能证实我在这里毫无头绪。据我所猜测，伊索必须能够从记录数据类型中获取所有字段名(如Strings或ByteStrings)，以及它们的类型(它的类型
浏览 6提问于2015-01-07得票数 13
回答已采纳
Haskell允许使用类型构造函数和数据构造函数构造代数数据类型。例如,我们被告知这个数据构造函数(右圆)是在给定数据时构造一个圆的函数，例如x，y，radius。Circle :: Float -> Float -> Float -> Circle
我的<
浏览 0提问于2018-07-25得票数 18
我对类型定义的Haskell语法选择感到有点困惑，如也就是说，这里的等号真的意味着某种微妙意义上的平等，还是仅仅是一个随机符号的选择？例如，在等式实际上是相等的:如果有这一行，foo a b和bar b a可以或多或少地在程序中交替使用。每当我继续尝试学习Haskell时，我都会对IMO的这种违反直觉的语法感到有
浏览 0提问于2014-07-29得票数 3
回答已采纳
我需要一些帮助来实现一个Haskell函数，它应该做扑克牌匹配-即“黑桃王牌”，“钻石2”，“红心杰克”。请注意，"s“的复数不能是Suit中构造函数名称的一部分。参考：data Suit = Club | Diamond | Heart | Spade
data Card = Card {rank :
浏览 0提问于2013-03-23得票数 2
我希望在Linear.Matrix顶部创建一个相当简单的抽象层，以便以后可以将实现替换为其他库(如hmatrix )。
抽象层只支持基本操作，如矩阵构造、加法、乘法、逆和其他几个函数。作为Haskell的相对新手，我对如何实现现有类型的包装器感到有点困惑。我错过了一些最基本的东西。类型名称通常与值构造函数同名的惯例是否使我感到困
浏览 1提问于2020-05-14得票数 3
回答已采纳
编辑我试图为IO实现一个包装器类型，以理解类型。我已经创建了一个IO类型，它实际上是使用IO来构造的。main = do return $ convert.test $ a
然而，如果现在我尝试使用IO返回IO操作，那么它就失
浏览 0提问于2018-12-04得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
