1回答
我想创建一个函数inc，它的工作方式如下：let ops = [Add 3; Add 4; Sub 2; MulNeg](function | Add a -> Add (a + 1) ) l
然而，在我的程序中有更多的操作，因此我的目标是有一个函数，它根据<
浏览 13提问于2019-07-24得票数 1
回答已采纳
1回答
我希望在我的模式中有两个changeset子句，它们根据传入的参数数量进行匹配。第二个变更集将匹配所有其他内容：不幸的是，当传递
浏览 3提问于2017-10-26得票数 0
回答已采纳
formule * formule |G of formule |U of formule * formule
现在我想要一个函数来计算一个类型的大小为此，我们可以使用计算二叉树的节点数的相同算法。这里的问题是，如果我进行模式匹配，我必须处理很多情况，这很烦人。如果我能对参数的数量进行模式</e
浏览 4提问于2018-07-21得票数 0
回答已采纳
4回答
至少在一些ML系列语言中，您可以定义可以执行模式匹配的记录，例如 -其基本思想是定义一个带有命名字段的记录类型，使用这些字段作为参数自动创建一个构造函数，以便您可以创建该类型的记录，并且使用这些字段作为参数自动创建一个提取器，以便您可以对该类型的记录进行模式匹配。Scala更进一步，允许存储在记录中的字段、构造器参数</
浏览 11提问于2012-05-12得票数 5
回答已采纳
有没有一种方法可以对独立于构造函数的构造函数进行模式匹配？有时在模式匹配中，我只关心构造函数，而不关心与之相关的数据。我担心的是，当我在ADT中更改构造函数的数量时，我必须遍历并更改所有的模式匹配，即使是那些丢弃所有“字段”的</e
浏览 5提问于2017-08-12得票数 3
回答已采纳
考虑想要使单个幂函数工作的例子，不管它是用Floating参数、Num、Integral还是其他什么调用的，它的工作方式是使用由参数类型实现的类型类来选择要调用的预先存在的指数函数。如果这两个参数都符合Floating，那么它将调用(**)；如果第二个参数仅仅是Integral兼容的，它将调用(^)；而任何其他情况都会给出模式匹配</em
浏览 5提问于2014-10-10得票数 12
回答已采纳
根据定义：
case class Plane extends Vehicle然后在每个Vehicle上应用模式</
浏览 2提问于2014-11-12得票数 0
1回答
使用几个扩展，我可以做这样的事情：{-# LANGUAGE TypeFamilies #-} TF 'True = Int D :: TF a -> D aD :: Int -> D 'TrueD :: Double -
浏览 0提问于2017-06-06得票数 6
我正在使用标准库的AVL树实现中的joinˡ⁺。该函数由六个模式匹配子句定义。当我将函数应用于参数时，Agda会减少或不减少函数应用程序表达式，这取决于六个子句中哪一个与我的参数匹配。(在我看来是这样的。)
下面的代码将函数应用于与函数的第一个子句匹配的参数。这是在目标的左边
浏览 2提问于2020-06-21得票数 0
回答已采纳
2回答
我有一个状态机，状态是使用sum类型实现的。在这里张贴一个简化版本： A { value :: Int } | C { other :: String } f st= case st of C -> return ()
我知道我可以展开<em
浏览 4提问于2022-09-29得票数 1
回答已采纳
当我发现这个例子的时候，我正在尝试学习模式匹配。似乎case类模式匹配不适用于重载的case类构造函数。println("one constructor matched") }
我在"case MyClass(a)“行收到编译错误”错误的模式字符串参数数我希望
浏览 0提问于2013-03-04得票数 2
Haxl是一个令人惊叹的库，但我发现的一个主要痛点是，每种对数据源的请求都需要在请求GADT中使用自己的构造函数。-> BlogRequest PostContent
然后对每个构造函数进行模式匹配，并在DataSource实例的match函数中单独处理。从我的表中创建类型，但这不是一个关键的细节--我只想为多个可能<em
浏览 5提问于2018-01-15得票数 2
4回答
假设一个C++类有几个构造函数，它们根据各自参数的数量、类型和顺序进行重载，例如constructor(int x, int y)和constructor(float x, float y, floatz)，我认为这两个方法都是重载的方法，应该使用哪一个取决于参数，对吧？那么，在python中，我如何创建一个可以像这样工作的构造函数呢？，然后根据两参数</
浏览 0提问于2010-08-13得票数 1
如果我有一个这样的函数：Arg1有一个构造函数，比如：我想在func中的一个Arg1构造函数上进行模式匹配(下面我在“Val1”上进行了模式匹配)：
func:: Arg1->Arg2->Stri
浏览 0提问于2012-09-13得票数 0
回答已采纳
什么时候使用构建器模式是有意义的：这是否意味着Builder模式不适合这种情况？如果不是，哪种方式更可取？谢谢!
浏览 0提问于2012-07-11得票数 0
Corda (v3.3) shell中启动一个流(为简洁起见，对其余的流参数进行了切割未找到匹配的构造函数：- com.template.IOUState:不能将其解析为命令:简单类型的实例化，由于创建者参数数量(在上为不可空类型)丢失(因此为空)，类com.template.IOUSt
浏览 2提问于2019-02-21得票数 0
回答已采纳
我希望有一个类，它根据我传递的字符串创建不同类型的对象。根据我的研究，这最好地描述了工厂的设计模式。我正在成功地实现它，但我遇到了一个设计问题:我不知道如何创建具有不同长度构造函数的对象。这是一个4参数构造函数。猫想要多少条腿。这是三个参数。这只狗可能有腿的参数，繁殖参数，以及它是否和其他狗一
浏览 12提问于2015-07-17得票数 5
回答已采纳
我已经使用Haskell大约一年了，因为我正在写一篇关于它的论文。在前几章中，我谈到了模式匹配，并提到了函数来证明它的用处。在本文中，我说在不使用模式匹配的情况下实现fst“会更加复杂”。出于兴趣，我开始思考如何做这件事，但似乎想不出任何不以这样或那样的方式使用模式匹配的方法，我能想到的最好的事情是
f
浏览 3提问于2016-08-28得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
