1回答
从两个受歧视的联合创建矩阵类型
typescript、typescript-types
我在TypeScript有两个受歧视的工会：type Number = 1 | 2type Desired = "alice-1" | "bob-1" | &qu
浏览 4提问于2022-03-11得票数 2
回答已采纳
2回答
如果我想表达X是一个由基础类型Z支持的类型，为什么在这个表达式中我需要Y？根据，of关键字用于表示以下其中之一：严格地说，根据docs，type X = Y of Z不属于上述3类中的任何一种。它不是异常类型，因为异常类型不存在。
因此，尽管type X = Y of Z在中普遍使用，但它似乎是无效的语法。令人费解的是，这些文档不准确吗？
浏览 2提问于2020-12-13得票数 3
回答已采纳
1回答
f#中歧视联盟的内建比较
f#、compare、compareto、icomparable、discriminated-union
在回答时，我发现了compare在受歧视的工会中的以下行为。我可以依靠compare来测量像这样的构造函数之间的“距离”吗？关于生成的的规范compareTo (第154页)
如果T是一个联合类型，那么首先对这两个值的联合情况的索引调用Microsoft.FSharp.Core.Operators.compare，然后对由联合情况携带的数据调用
浏览 1提问于2014-03-14得票数 4
回答已采纳
1回答
区分元组不按预期工作
typescript、overloading
我刚刚从的答案中学习了使用区分元组作为参数的方法，但是当我在一些旧代码上尝试这个概念时，我发现我无法让它像我预期的那样工作。_y = new Fraction(r[1]);}
我希望，在上面所示的行之后，TypeScript应该会得出结论，r只能是[Rational, Rational]类型，对接下来的两行没有问题为什么是这样，我如何在使用元组思想的同时修复这个问题？
浏览 0提问于2019-07-02得票数 1
回答已采纳
1回答
如何将F#联合类型的使用限制为特定选项
generics、f#、algebraic-data-types、discriminated-union
--尽管我已经取得了一些进步，但我遇到了使用代数类型的绊脚石。下面是我编写的将任意JSON结构序列化为字符串的JSON类型。当然，我对它的设计和效率持主观意见，但我主要关注的是第7行： | JString of string | JBool+ ( serialize value ) ) "" obj ) + "}"
seria
浏览 0提问于2018-11-12得票数 2
回答已采纳
1回答
没有显式字符串的穷竭性检查
javascript、typescript
在函数的末尾分配(或断言) never是一种在类型记录中使用的技术，以便在编译时强制进行彻底的检查。但是，为了让编译器检测到这一点，需要对显式字符串进行检查，以确定函数是否在never的赋值/断言之前明确返回。是否有可能引入某种类型的Object.freeze变体，只在对象文本上工作，并将其扩展到链的上游，这样就可以完成如下操作？更好的是，是否有一种方法来创建一个接口，其中的键自动是每个Action.typ
浏览 2提问于2017-08-24得票数 2
回答已采纳
1回答
如何为受歧视的GetHashCode和CompareTo覆盖F#中的工会？
f#、gethashcode、icomparable、discriminated-union
我有一个简单的F#识别联合，它将bool、字符串和浮动组合在一起。我想要重写这个联合的Object.Equals(arg)，以便在检查浮点相等时，我可以放入一个epsilon来解释精度错误。对于这些重写，我没有特殊的功能计划，所以我只想调用这些方法的默认版本。在我现在的实现中，我对受歧视的工会中的每种类型都有三次对GetHashCode的调用，三次对CompareTo的</
浏览 0提问于2014-12-08得票数 3
回答已采纳
1回答
F#区分联合语法澄清
syntax、f#、discriminated-union
我正在阅读，并且在某个时候(p.93)介绍了list的以下语法 | ([])虽然我从概念上理解了这里发生的事情显然，您可以将[]或::放在括号之间，它们意味着一些特殊的东西。另一件事是(::)的“运算符”性质。假设我有以下(奇怪)类型： | No
浏览 2提问于2016-10-26得票数 4
回答已采纳
2回答
在受歧视的工会中仓促争论
f#、discriminated-union、active-pattern
我有这样一个受歧视的工会：我必须使用这样的模式匹配(括号似乎是必需的)：| B -> printfn "B"是否有一种方法可以将这样的模式与活动模式相匹配：| B -> printfn "B"
| C i a -> printfn
浏览 4提问于2016-08-26得票数 2
回答已采纳
1回答
F#：从单个函数返回不同类型的值
f#、functional-programming
我正在尝试使用一个函数来返回一种类型或另一种类型。在F#中是否有任何方式对此进行编码，而不创建新的受歧视的联合类型并从函数中返回受歧视的联合？下面是一个不编译的简单示例： | JString of string
浏览 0提问于2016-03-30得票数 0
回答已采纳
1回答
f#：常量联合大小写标记号
f#、protobuf-net、discriminated-union
在受歧视的联合类型中，每个联合案例都会得到一个标签号。，它是由编译器和常量生成的，这取决于案例的顺序。标签号是否总是根据订单生成的？这是F#的规格吗？
是否可以提供自定义的标签号，这样如果订单发生变化，或者我将另一种情况放在中间，在成功和失败之间，它们的标签号就不会改变吗？我试图通过创建自定义类型模型并将成功和失败作为结果的子类型来设置pro
浏览 3提问于2014-07-31得票数 2
回答已采纳
2回答
差别工会类型和歧视工会类型/F#
typescript、functional-programming、f#、union-types
因此，我正在阅读有关工会类型的正式文本文档，我认为这与F#中的“歧视联盟”(当然它们有不同的语法，但概念相同)是一样的，因为我有F#背景，并且考虑到两者都得到微软的支持。但是从文档来看，F#并没有真正区分“联合类型”和“受歧视的联合”：联合类型：所以我想知道这些概念本身是否
浏览 3提问于2020-05-06得票数 5
回答已采纳
2回答
有没有办法让我完全符合受歧视的工会道路？
f#、discriminated-union
有什么办法让我完全符合受歧视的工会道路吗？我现在有这样的情况： | ScottOnFirst | ScottOnThird
| Tripple -> Scott Third
错误:这个表达式应该有PostionOfScott类型，但是这里有类型
浏览 5提问于2016-05-10得票数 1
回答已采纳
4回答
歧视工会是否与公开封闭原则相冲突？
design-patterns、f#、discriminated-union
我不禁要问，在一个大系统中使用受歧视的工会是否违反了开放/封闭原则。因此，我仍然认为受歧视的工会有着与开关语句相同的代码
浏览 4提问于2016-01-04得票数 14
回答已采纳
3回答
什么是F#中的歧视联盟，我们在OOP中有什么样的选择？
.net、functional-programming、f#、discriminated-union
当然，由于我对C#的深入和详细的了解，我选择了我的第一个函数式语言F#，并试图投入我的时间来学习它。但导师、讲师、文章和博客帖子的问题是，人们实际上试图用许多函数式编程术语来描述/教给我们歧视工会，这对我们来说当然是不可理解的，所有背景的人都是面向对象的，只是一些LINQ、表达式和高级函数我在功能世界中很新，我<
浏览 4提问于2020-03-01得票数 5
回答已采纳
2回答
受歧视联盟中类型间的转换
f#、type-conversion、discriminated-union
我有一个函数，它可以返回不同的类型，为此我使用区分的联合。我需要的是，从一种类型的歧视结合到另一种类型。另外，有些类型可以转换为所有其他类型(字符串)，但有些类型只能转换为String (MyCustomType)。failwithf "Conversion from MyCustomType to %s is not supported" (
浏览 2提问于2011-03-15得票数 4
回答已采纳
2回答
Ada的歧视记录是什么？
record、ada
我试图了解什么是歧视记录在Ada，但找不到一个明确的，准确的答案网上。例如，是什么使这成为一项受歧视的记录： record
A : String (1 ..
浏览 0提问于2018-06-11得票数 2
回答已采纳
1回答
识别的联合键的超集
typescript
是否可以创建包含受歧视的联合中所有可能的键的类型(而不是仅包含共享的键)？type Form = | { name?: string; query: string };
目前，Keys解析为"name"，因为这是唯一的共享密钥，但是我希望它解析为&
浏览 4提问于2022-04-02得票数 1
回答已采纳
3回答
F# -我可以从函数返回受歧视的联合吗？
f#、functional-programming、discriminated-union
我有以下类型： Id:int;
StatusCode:int;我有以下受歧视的工会： | Good of GoodResource然后，希望有一个函数，该函数将具有受歧视<e
浏览 4提问于2015-04-22得票数 13
回答已采纳
云服务器
对象存储
ICP备案
云点播
腾讯会议
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号