-
如何将参数限制为变量类型的一个变量
假设我有两种类型,<code>Vector3D</code>和<code>Vector2D</code>,并且它们被标记了(这是正确的术语,对吗? -
类是代数数据类型吗?
我正在阅读有关代数数据类型的信息。所有文章都将它们写为关于可以包含其他类型的容器的文章。在 -
C ++获取当前类型为std :: variant的std :: typeindex
如何通过c ++的变体获取当前帮助类型的<code>std::typeindex</code>? 说我有一个变体: <pre><code>using -
C ++ 11:无法推断模板参数
行: <pre class="lang-cpp prettyprint-override"><code>df[sorted(df.columns, key=lambda x: x!='4')] 4 1 2 3 0 C C -
如何在Haskell中随机播放类似列表的自定义数据?
我正在尝试重新排列一副纸牌(或<code>Hand</code>张纸牌)的顺序。本质上是洗手。即,我想将<code>fullDeck< -
在Spark数据集中添加ADT列?
我想创建一个包含ADT列的数据集。基于以下问题:<a href="https://stackoverflow.com/questions/41030073/encode-an-adt-sea -
除求和和积之外,是否还有代数数据类型?
在大多数定义中,Haskell或Scala中常见或基本的代数数据类型为求和与乘积。示例:<a href="https://github.com/h -
中缀模式匹配
在Haskell编程时有时遇到的一个问题是有时我想将模式与值进行匹配,但是我只对有关值是否与模式匹配 -
Scala:精炼的代数数据类型
o / 这可能是一个相当有趣的问题,并且可能会激发您的创造力。 我想以一种可以为货币建 -
在Semmle QL中使用参数为代数数据类型编写toString()
在了解了QL对<a href="https://help.semmle.com/QL/ql-handbook/types.html#algebraic-datatypes" rel="nofollow noreferrer">algebraic data -
从外部类继承的C ++嵌套类;类型不完整
在Kotlin中,有一种设计模式,您可以使用密封的类模拟具有关联值的快速枚举,并使用嵌套的类从其继 -
在Scala无形库中,是否有一种本机方式将产品类型(HList / Generic / NamedGeneric)转换为等于其Arity的int单例类型?
我试图弄清楚如何将无形状的特征(单形类型)与另一个特征(HList)相关联,假设我们想派生一个包含 -
在Dafny中表达归纳数据类型的属性
我在Dafny中定义了一个sigma代数数据类型,如下所示: <pre><code>datatype Alg = Empty | Complement(a: Alg) | Union( -
琐事引理无法证明
我为达夫尼的σ代数定义了以下<code>datatype</code>,<code>function</code>和<code>lemma</code>。在我看来,引理应该 -
如何使Haskell函数尽可能短?
<code>season</code>函数使用代数函数,但是我觉得代码是重复的。 如何使其尽可能短? <pre class=" -
修复代数数据类型的重复实例声明
假设我有一个代数数据类型<code>Building</code>: <pre class="lang-hs prettyprint-override"><code>data Building = BRes -
我对Haskell'length'函数的重新定义无法正常工作
有人可以解释一下我如何修复程序。 对于Haskell来说,这是非常新的东西,它一直试图创建一个<code>length -
在Elm(0.19.1)中按值获取构造函数选项
我有一些类型: <pre><code>type alias Type1 = { name : String } type alias Type2 = { name : String, age : Int } type S = S1 -
过滤代数数据类型列表
我想过滤haskell中的代数数据类型列表。例如: <pre><code>data Both = Foo Int Int | Bar Int </code></pre> -
我应该从功能编程的角度重命名该代码段中的bailFirst和bailLast函数什么?
这里的目的是尝试利用函数式编程的关联性。 <code>bailFirst</code>和<code>bailLast</code>可以有更好的名 -
在函数中使用ADT的参数化分支
代码如下: <pre><code>sealed trait Tr final case class A(a: String) extends Tr final case class B(b: String) extends Tr def ma -
减少深度嵌套属性的匹配缩进
我需要引用一个结构深层的值,该结构包括嵌套在<code>Option</code>属性中和嵌套在<code>struct</code>中的<code> -
如何在Scala中为具有一个或多个值的容器实现ADT
最终,这是我想要实现的目标: <pre><code> val onePath: One = new Log(OneLocation("root"), "foo/bar").ge -
Scala中具体用例的类型参数/抽象类型
我有一个参数化的ADT: <pre><code> sealed trait Location[O] sealed abstract class SingleRegion(val bucket: String) extend -
在Haskell中输入两个枚举字段
我有一个表示方向的类型,它有一个轴和一个方向: <pre class="lang-hs prettyprint-override"><code>data Dir = DirX -
在ScalaTest中的另一个套件中重复使用测试
我有以下ADT: <pre><code>sealed trait TestAdt case class First(i: Int) extends TestAdt case class Second(j: String) extends Tes -
函数式编程中的代数结构是什么?
我一直在阅读一些有关函数式编程概念和思想的文章。到目前为止,到目前为止,我已经了解了三个主 -
Python中的递归数据类型
Python中最接近Haskell递归数据类型的东西是什么? (即在定义类型时使用类型自己的定义。) 编辑 -
自然数的初始代数
我试图确保我使用自然数的基本情况理解初始的代数和同构概念,但我肯定缺少某些东西(而且我的Haske -
以一种类型安全的方式合并相关的ADT
我正在设计一种可以与“类型”一起使用的类型安全api-我正在处理的应用程序中的抽象。这是它的样子