2回答
我有一个F#区分的Union，我希望将一些“构造函数逻辑”应用于构造union用例时使用的任何值。然而，问题是这个模块之外的任何人都不能在ValidValue上进行模式匹配来检查结果，从而限制了被区分的Union的有用性。我希望允许外部用户仍然像其他DU一样进行模式匹配并使用ValidValue，但如果它有一个私有构造函数，这是不可能的。我能想到的唯一解决方案是将DU中的每个值包装
浏览 34提问于2019-01-17得票数 12
回答已采纳
2回答
我试图将一个小型编译器从C#移植到F#，以利用模式匹配和区分联合等特性。目前，我正在使用基于System.Linq.Expressions的模式对AST进行建模:一个抽象的基“表达式”类，每个表达式类型的派生类，以及一个允许在不进行多次转换的情况下打开表达式的NodeType我曾希望使用F#受歧视的联合来大大减少这种情况，但我遇到了一些似乎存在的限制：
强制公共默认构造函数(我希望对表达式构造进行类型检查和参数验
浏览 4提问于2013-11-12得票数 3
回答已采纳
2回答
data Type | IntType = Add Type我想在Subtract下限制可能的类型，这样它只允许int或float。FloatType) = ()patternMatch (Subtract FloatType) = ()
应该是一个详尽的模式匹配是否有一种方法可以“限制”类型内的可能构
浏览 0提问于2019-04-07得票数 3
回答已采纳
1回答
我们可以使用F#类型exception但是，当我们匹配它时，我们可以使用与匹配区分的联合相同的语法。我试着搜索，但没有找到明确的答案。谢谢。
浏览 1提问于2011-07-08得票数 1
回答已采纳
2回答
今天，在对存在性GADT构造函数进行匹配时尝试使用惰性模式时，我遇到了一个编译器错误：
为什么有这个限制？如果允许的话，会发生什么“坏”的事情？
浏览 1提问于2013-01-26得票数 30
回答已采纳
6回答
联合可以用作一种类型，就像类和结构(有一些限制)一样，.It可以有成员函数。它可以用作OOP结构。作为OOP结构(不仅仅是数据类型)的Union有什么实际用途吗?或者它只是语言中一些没有用的残余部分？编辑：
i
浏览 11提问于2012-05-05得票数 5
回答已采纳
4回答
假设一种语言不允许数据类型的多个值构造函数。Black = Blacktype Color = White :|: Black :|: Bluetype ColorsStartingWithB = Black :|: Blued
浏览 6提问于2016-11-15得票数 14
回答已采纳
1回答
假设我有一个定义如下的F#区分联合：例如，如果我有一个这样的B，其中'T是int，我如何将它转换为另一个'T是string的B？我有一个与此类似的联合，但有更多的情况，目前我的模式匹配如下： match u with
| A(x) -> // some fancy logic here
浏览 1提问于2014-01-21得票数 2
我尝试使用区分联合的特定成员作为参数类型。(i, j)) = member this.J = j
let instance = SomeType(a)let doSomethingWithA (A(i, j)) = i + j
但是类型签名是SomeUnion -> int而不是A -> int，它会抱怨模式匹配不完整(给出签名是可以理解的我相信在F#中，联合<
浏览 0提问于2013-01-14得票数 6
2回答
因此，我正在阅读有关工会类型的正式文本文档，我认为这与F#中的“歧视联盟”(当然它们有不同的语法，但概念相同)是一样的，因为我有F#背景，并且考虑到两者都得到微软的支持。但是从文档来看，F#并没有真正区分“联合类型”和“受歧视的联合”：联合类型：所以我想知道这些概念本身是否真的有区别，还是仅仅是一些依赖于语言的概念到目前为止，我理解的是，F#中的联合类型也是受歧视的联合类型，因为您可以使用
浏览 3提问于2020-05-06得票数 5
回答已采纳
我正在尝试测试来自F#函数的返回结果是否与预期的受歧视的联合情况相匹配。我使用NUnit创建测试，它不喜欢区分的联合类型作为TestCase参数。callNumber callType =我希望这是NUnit的一个限制如何使用受歧视的联合案例作为测试用例属性参数？
浏览 3提问于2015-10-27得票数 6
回答已采纳
为了引用一些带有键的坐标，我想使用区分的联合类型，因为它们允许各种类型的有效模式匹配。AssetKey也是一种非常相似的区分联合类型：type AssetKey所以这一切都运行得很好，但速度很慢。据我所知，如果调用sortKey函数，则会再次构建整个密钥，特别是再次调用toString函数。如果我使用结构或类，性能
浏览 2提问于2012-03-01得票数 1
2回答
构造函数模式和提取器模式匹配有什么区别？在Scala的编程中，作者区分了Ch 15中的构造函数模式和Ch 26中的提取器模式。构造函数模式的示例：case class BinOp(operator: String, left: Expr, right: Expr) extends Expr
浏览 4提问于2017-03-06得票数 3
回答已采纳
有没有一种方法(类似于函数式语言中的模式匹配)来分解TypeScript中的联合类型，也就是像这样的构造： case f: Foo}
如果没有这样的构造--创建这样的构造有什么技术上的困难吗？
浏览 0提问于2015-11-21得票数 7
4回答
我最近开始将F#用于“真正的工作”，并重新发现了不可变数据结构的美妙之处，比如F#中的区分联合和记录。我还发现，在C#中使用它们非常简单，特别是因为它们不需要对F#运行时的任何直接依赖。但是，由于我无法控制区分联合或记录的构造函数，因此这些类型的实例的创建者可以提供一个在使用时可能更改或抛出的IEnumerable<>实现(例如LINQ表达式)。但是，它确实允许IEnumerable<>所不支持的F#模式匹配。它在列表的实际表示
浏览 0提问于2010-09-01得票数 6
回答已采纳
我有一个标准类型，用于在函数之间传递消息和对象，该函数有一个可选的MessageObject，即System.Object。 type StatusMessage = { MessageObject: Object option} 在下面的特定函数中-我知道消息对象将始终包含以下特定类型，并且我希望能够在函数中访问该类型 type SingleCorrectRecord = { Line: RowTransact
浏览 37提问于2021-11-12得票数 2
2回答
我正在尝试构建一个泛型映射函数，它将从一个联合类型中提取一个可能的内部类型，将一个转换应用到内部值并将其映射回外部类型。还有其他方法可以做到这一点吗？
浏览 0提问于2019-09-06得票数 3
回答已采纳
在我的例子中，Add和Mul在运算符之前都有相同的模式，所以只有p1在工作。我如何重构它，以便解析我的输入？在fparsec文档解决方案示例中，它的工作方式只是解析，而不是构造区分的联合实例。在我的例子中，我必须知道哪个模式匹配，这样我才能创建Add或Mul
浏览 3提问于2017-01-09得票数 3
1回答
在F#中，如何获取返回object的函数的结果，并将其转换为可区分的联合？我想通过将返回的对象转换成一个有区别的联合来给它一些结构，这样我以后就可以匹配它了。
直接类型转换不起作用，联合类型也不允许有构造函数，所以我也不能直接把它放进去。怎样做才是正确的呢？
浏览 0提问于2016-12-09得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
