- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
这里有几个类似的问题,我阅读了它们,但没有找到可以让我的代码工作的答案。我想我遇到了一个特殊情况,需要比正常情况更精确的类型规范。
我的情况用两个字来说。我想构建非常简单的异构列表示例来加深我对 scala 语言的理解。我给自己设置了一个限制:没有任何形式的隐式,只是简单的 scala 类型系统。隐式可以让很多事情变得更容易,但我想努力尝试。
我已经有了可以工作的代码,但我想改进它。这是:
sealed trait HList {
type Self <: HList
def self : Self
def prepend[H](head : H) = HCons[H, Self](head, self)
def ::[H](head : H) = prepend(head)
type Merge[X <: HList] <: HList
def merge[X <: HList](other : X) : Merge[X]
def :::[X <: HList](other : X) = other.merge[Self](self)
}
sealed trait HNil extends HList {
override type Self = HNil
override def self = this
override type Merge[X <: HList] = X
override def merge[X <: HList](other : X) : Merge[X] = other
}
case object HNil extends HNil
final case class HCons[H, T <: HList](head : H, tail : T) extends HList {
override type Self = HCons[H,T]
override def self = this
override type Merge[X <: HList] = HCons[H, T#Merge[X]]
override def merge[X <: HList](other : X) : Merge[X] = HCons(head, tail.merge(other))
}
Merge
类型构造函数表示附加两个列表的类型结果。需要跟踪所有嵌套类型。结果如下:
val x = "str" :: true :: HNil
val s : String = x.head
val b : Boolean = x.tail.head
val y = 0.5 :: 12 :: HNil
val d : Double = y.head
val i : Int = y.tail.head
val l = x ::: y
val r = y.merge(x)
val sl : String = l.head
val sb : Boolean = l.tail.head
val sd : Double = l.tail.tail.head
val si : Int = l.tail.tail.tail.head
val rd : Double = r.head
val ri : Int = r.tail.head
val rl : String = r.tail.tail.head
val rb : Boolean = r.tail.tail.tail.head
现在我已经完成了无聊的介绍。恐怕到那时我已经失去了一半的读者。我希望我能让代码折叠成单行。
所以真正的问题是 Self
类型和 self
方法。它们看起来很丑,我想摆脱它们。我相信 f-bounded 多态性可以以自然的方式帮助我。我得到以下代码:
type HAny = X forSome {type X <: HList[X]}
sealed trait HList[Self <: HList[Self]] {this : Self =>
def prepend[H](head : H) = HCons[H, Self](head, this)
def ::[H](head : H) = prepend(head)
type Merge[X <: HList[X]] <: HAny
def merge[X <: HList[X]](other : X) : Merge[X]
def :::[X <: HList[X]](other : X) = other.merge[Self](this)
}
sealed trait HNil extends HList[HNil] {
override type Merge[X <: HList[X]] = X
override def merge[X <: HList[X]](other : X) : Merge[X] = other
}
case object HNil extends HNil
final case class HCons[H, T <: HList[T]](head : H, tail : T) extends HList[HCons[H,T]] {
override type Merge[X <: HList[X]] = HCons[H, T#Merge[X]]
override def merge[X <: HList[X]](other : X) : Merge[X] = HCons[H, T#Merge[X]](head, tail.merge(other))
}
scala 编译器产生的错误让我知之甚少:
[error] App.scala:23: type arguments [H,T#Merge[X]] do not conform to method apply's type parameter bounds [H,T <: SelApp1.this.HList[T]]
[error] override def merge[X <: HList[X]](other : X) : Merge[X] = HCons[H, T#Merge[X]](head, tail.merge(other))
[error] ^
[error] one error found
前置部分顺利转化为f结合多态性。合并部分产生错误。我需要对 Merge
类型进行抽象,因此我将其与 HAny
存在类型绑定(bind)在一起,就像在早期的示例中我使用了 HList
而没有任何类型附加类型规范。
但在后一种情况下,由于编译器提示类型不合适,一些类型信息会丢失。那么我如何定义存在类型来保存构建 HCons
所需的所有类型信息?也许我需要更复杂的调整才能将抽象类型解决方案转移到 f 绑定(bind)变体?
最佳答案
你必须重写HCons
,替换T <: HList[T]
与 T <: HAny
:
final case class HCons[H, T <: HAny](head : H, tail : T) extends HList[HCons[H,T]] { ... }
关于scala - 如何正确定义 f 绑定(bind)多态类型的存在性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42035989/
这个问题已经有答案了: How to do case insensitive string comparison? (23 个回答) 已关闭 3 年前。 用户在我的输入栏中写入“足球”,然后执行第 6
啊,不习惯 javascript 中的字符串。 character_id= + id + correct= + correctOrIncorrect 这就是我需要制作成字符串的内容。如果您无法猜测字符
$(function() { var base_price = 0; CalculatePrice(); $(".math1").on('change', function(e) { Calc
我找不到任何文章回答问题:将Spinnaker部署到Spinnaker将管理的同一Kubernetes集群是否安全/正确?我主要是指生产,HA部署。 最佳答案 我认为Spinnaker和Kuberne
我正在使用MSVC在Windows上从源代码(官方源代码发布,而不是从仓库中)构建Qt5(Qt 5.15.0)。 我正在设置环境。变量,依赖项等,然后运行具有1600万个选项的configure,最后
我需要打印一个包含重复单词的数组。我的数组已经可以工作,但我不知道如何正确计算单词数。我已经知道,当我的索引计数器 (i) 为 49 时,并且当 (i) 想要计数到 50 时,我会收到错误,但我不知道
我正在遵循一个指南,该指南允许 Google map 屏幕根据屏幕尺寸禁用滚动。我唯一挣扎的部分是编写一个代码,当我手动调整屏幕大小时动态更改 True/False 值。 这是我按照说明操作的网站,但
我有一个类“FileButton”。它的目的是将文件链接到 JButton,FileButton 继承自 JButton。子类继承自此以使用链接到按钮的文件做有用的事情。 JingleCardButt
我的 friend 数组只返回一个数字而不是所有数字。 ($myfriends = 3) 应该是…… ($myfriends = 3 5 7 8 9 12). 如果我让它进入 while 循环……整个
这个问题在这里已经有了答案: Is there a workaround to make CSS classes with names that start with numbers valid?
我正在制作一个 JavaScript 函数,当调整窗口大小时,它会自动将 div 的大小调整为与窗口相同的宽度/高度。 该功能非常基本,但我注意到在调整窗口大小时出现明显的“绘制”滞后。在 JS fi
此问题的基本视觉效果可在 http://sevenx.de/demo/bootstrap-carousel/inc.carousel/tabbed-slider.html 获得。 - 如果你想看一看。
我明白,如果我想从函数返回一个字符串文字或一个数组,我应该将其声明为静态的,这样当被调用的函数被返回时,内容就不会“消亡”。 但我的问题是,当我在函数内部使用 malloc 分配内存时会怎样? 在下面
在 mySQL 数据库中存储 true/false/1/0 值最合适(读取数据消耗最少)的数据字段是什么? 我以前使用过一个字符长的 tinyint,但我不确定它是否是最佳解决方案? 谢谢! 最佳答案
我想一次读取并处理CSV文件第一行中的条目(例如打印)。我假设使用Unix风格的\n换行符,没有条目长度超过255个字符,并且(现在)在EOF之前有一个换行符。这意味着它是fgets()后跟strto
所以,我们都知道 -1 > 2u == true 的 C/C++ 有符号/无符号比较规则,并且我有一种情况,我想有效地实现“正确”比较。 我的问题是,考虑到人们熟悉的尽可能多的架构,哪种方法更有效。显
**摘要:**文章的标题看似自相矛盾。 本文分享自华为云社区《Java异常处理:如何写出“正确”但被编译器认为有语法错误的程序》,作者: Jerry Wang 。 文章的标题看似自相矛盾,然而我在“正
我有一个数据框,看起来像: dataDemo % mutate_each(funs(ifelse(. == '.', REF, as.character(.))), -POS) # POS REF
有人可以帮助我使用 VBScript 重新格式化/正确格式化带分隔符的文本文件吗? 我有一个文本文件 ^分界如下: AGREE^NAME^ADD1^ADD2^ADD3^ADD4^PCODE^BAL^A
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the he
我是一名优秀的程序员,十分优秀!