glennsl
2020-02-04 14:15
类型缩写不会隐藏或创建与其定义不同的类型。complex并且float * float仍然可以完全互换，您刚刚给它起了另一个名字。
在F＃中创建独特类型的惯用方式是使用区分大小写的联合：
type complex = Complex of float * float
然后，您可以使用以下构造函数编写函数，以创建值和模式匹配以对其进行解构：
let makeComplex x y = Complex (x,y)
let complexToPair (Complex (x, y)) = (x, y)
您还可以使用private以下命令从模块外部完全隐藏实现：
type complex = private Complex of float * float
消费者然后必须使用您公开的函数来创建和使用该complex类型的值。
热门帖子
相关问题
热门github
1
2
3
5
6
7
8
11
13
14
15
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
创建仅包含一个案例的DU是一个坏习惯（除非您打算稍后添加其他案例），因为DU的存在是为了包含和匹配已区分的数据。
@CharlesRoddie除了观点以外，您还能提供其他支持吗？有足够的证据向相反。
第一个链接不是证据而是意见。我更详细的原因是：1.命名。DU被称为“歧视联合”，因此它们用于歧视数据，一种数据不需要歧视。2.复杂性。与记录类型和记录类型不同，DU包含用于区分的支架，因此是实现此想法的更合适方法。您可以使用sharplab.io确认这一点。
您的“ contrary”链接很好，因为它非常适合使用DU来拥有一个案例，该案例可以在将来扩展更多案例，如此处讨论和我在此处的原始评论中所述。
@CharlesRoddie因此，您的论点的技术优点本质上就是只是有一种额外的
Tag方法？考虑到通过将值包装在一个对象中而增加的大约16个字节的开销，这似乎是微不足道的，记录和单个大小写的并集都可以做到。