- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我试图写一个不可变的 Matrix[A]
类(class)。我希望该类在 A
上是协变的但是当我把 +
前面A
编译器开始提示类中的某些操作。
以下是我的 Matrix
的相关子集类(实际类比以下子集大 5 倍):
class Matrix[+A] private(val contents: Vector[Vector[A]])(implicit numericEv: Numeric[A])
extends ((Int, Int) => A) with Proxy {
import numericEv._
import Prelude._
// delegate `equals` and `hashCode` implementations to `contents`
override def self = contents
val nRows: Int = contents.length
val nColumns: Int = contents(0).length.ensuring { len =>
contents.forall(_.length == len)
}
def dimensions = (nRows, nColumns)
def isSquare = nRows == nColumns
def hasSameOrderAs[B : Numeric](that: Matrix[B]) = this.dimensions == that.dimensions
def isComformableWith[B : Numeric](that: Matrix[B]) = this.nColumns == that.nRows
private def assertSameOrder[B : Numeric](that: Matrix[B]) {
assert(this.hasSameOrderAs(that), "Matrices differ in dimensions.")
}
private def assertIsSquare() {
assert(this.isSquare, "Not a square matrix.")
}
def zipWith[B : Numeric, C : Numeric](that: Matrix[B])(f: (A, B) => C): Matrix[C] = {
assertSameOrder(that)
val zippedContents = (contents, that.contents).zipped.map((v1, v2) => (v1, v2).zipped.map(f))
Matrix(zippedContents)
}
def map[B : Numeric](f: A => B): Matrix[B] = {
Matrix(contents.map(_.map(f)))
}
def transpose: Matrix[A] = {
assertIsSquare()
Matrix(contents.transpose)
}
def +(that: Matrix[A]): Matrix[A] = this.zipWith(that)(_ + _)
def -(that: Matrix[A]): Matrix[A] = this.zipWith(that)(_ - _)
def *(scalar: A): Matrix[A] = this.map(_ * scalar)
def *(that: Matrix[A]): Matrix[A] = {
assert(this.isComformableWith(that))
Matrix.tabulate(this.nRows, that.nColumns) { (r, c) =>
(this(r), that.transpose(c)).zipped.map(_ * _).sum
}
}
}
object Matrix {
def apply[A : Numeric](rows: Vector[A]*): Matrix[A] = Matrix(Vector(rows: _*))
def apply[A : Numeric](contents: Vector[Vector[A]]): Matrix[A] = new Matrix(contents)
def tabulate[A : Numeric](nRows: Int, nColumns: Int)(f: (Int, Int) => A): Matrix[A] = {
Matrix(Vector.tabulate(nRows, nColumns)(f))
}
}
最佳答案
出现这些错误的原因是,按照您的方式声明它不是类型安全的。例如,可以这样做,否则:
class A(val x: Int)
class B(x: Int, val y: Int) extends A(x)
object NA extends Numeric[A] {
def toDouble(x: A): Double = x.x.toDouble
def toFloat(x: A): Float = x.x.toFloat
def toLong(x: A): Long = x.x.toLong
def toInt(x: A): Int = x.x
def fromInt(x: Int): A = new A(x)
def negate(x: A): A = new A(-x.x)
def times(x: A,y: A): A = new A(x.x * y.x)
def minus(x: A,y: A): A = new A(x.x - y.x)
def plus(x: A,y: A): A = new A(x.x + y.x)
def compare(x: A,y: A): Int = implicitly[Numeric[Int]].compare(x.x, y.x)
}
object NB extends Numeric[B] {
def toDouble(x: B): Double = x.x.toDouble / x.y.toDouble
def toFloat(x: B): Float = x.x.toFloat / x.y.toFloat
def toLong(x: B): Long = (x.x / x.y).toLong
def toInt(x: B): Int = x.x / x.y
def fromInt(x: Int): B = new B(x, 1)
def negate(x: B): B = new B(-x.x, x.y)
def times(x: B,y: B): B = new B(x.x * y.x, x.y * y.y)
def minus(x: B,y: B): B = new B(x.x * y.y - y.x * x.y, x.y * y.y)
def plus(x: B,y: B): B = new B(x.x * y.y + y.x * x.y, x.y * y.y)
def compare(x: B,y: B): Int = implicitly[Numeric[Int]].compare(x.x * x.y, y.x * y.y)
}
val mb = Matrix.tabulate(10, 10)((x, y) => new B(x, y))
def f(m: Matrix[A]) = {
val ma = Matrix.tabulate(m.nRows, m.nColumns)((x, y) => 1)
m + ma
}
f(mb)
m + ma
无法工作,因为
m.+
期望类型为
B
的对象.如果 Scala 允许您按照您的方式编写它,那么这将是允许的。
def +[B >: A](that: Matrix[B])(implicit num: Numeric[B]): Matrix[B] = this.zipWith(that)(B.plus)
关于scala - 错误 : Covariant type A occurs in contravariant position,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5241501/
假设a是张量,那么有什么区别: 类型(a) a.类型 a.type() 我找不到区分这些的文档。 最佳答案 type 是 python 内置方法。 它将返回对象的类型。喜欢 torch.Tensor.
什么是 Type 1 的居民的例子?两者都不是 Type也不是Type的居民?在 Idris REPL 中进行探索时,我无法想出任何东西。 更准确地说,我正在寻找一些 x除了 Type产生以下结果:
我找到了一些资源,但我不确定我是否理解。 我找到的一些资源是: http://help.sap.com/saphelp_nw70/helpdata/en/fc/eb2ff3358411d1829f00
这两个函数原型(prototype)有什么区别? void apply1(double(f)(double)); void apply2(double(*f)(double)); 如果目标是将提供的函
http://play.golang.org/p/icQO_bAZNE 我正在练习使用堆进行排序,但是 prog.go:85: type bucket is not an expression
假设有一个泛型定义的方法信息对象,即一个方法信息对象,这样的方法Info.IsGenericMethodDefinition==TRUE:。也可以说它们也有一个泛型参数列表:。我可以使用以下命令获取该
在具有依赖类型的语言中,您可以使用 Type-in-Type 来简化语言并赋予它很多功能。这使得语言在逻辑上不一致,但如果您只对编程感兴趣而不对定理证明感兴趣,这可能不是问题。 在 Cayenne
根据 Nim 手册,变量类型是“静态类型”,而变量在内存中指向的实际值是“动态类型”。 它们怎么可能是不同的类型?我认为将错误的类型分配给变量将是一个错误。 最佳答案 import typetrait
假设您有以下结构和协议(protocol): struct Ticket { var items: [TicketItem] = [] } struct TicketItem { } prot
我正在处理一个 EF 问题,我发现它很难调试...以前,在我的系统中有一个表类型继承设置管理不同的用户类型 - 所有用户共有的一种根类型,以及大致基于使用该帐户的人员类型的几种不同的子类型。现在,我遇
这是我的 DBManager.swift import RealmSwift class DBManager { class func getAllDogs() -> [Dog] {
我正在尝试使用傅里叶校正图像中的曝光。这是我面临的错误 5 padded = np.log(padded + 1) #so we never have log of 0 6 g
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 9 年前。 Improve
请考虑以下设置: protocol MyProcotol { } class MyModel: MyProcotol { } enum Result { case success(value:
好吧,我将我的 python 项目编译成一个可执行文件,它在我的电脑上运行,但我将它发送给几个 friend 进行测试,他们都遇到了这个错误。我以前从未见过这样的错误。我使用 Nuitka 来编译代码
当我尝试训练我的模型时"ValueError: Type must be a sub-type of ndarray type"出现在 line x_norm=(np.power(x,2)).sum(
我尝试在另一个类中打断、计数然后加入对象。所以我构建协议(protocol): typealias DataBreaker = () -> [Double] typealias DataJoiner
我正在使用 VS 2015 更新 3、Angular 2.1.2、Typescript 2.0.6 有人可以澄清什么是 typings 与 npm @types 以及本月很难找到的任何其他文档吗? 或
我正在考虑从 VS2010 更改为 Mono,因此我通过 MoMA 运行我的程序集,看看我在转换过程中可能遇到多少困难。在生成的报告中,我发现我不断收到此错误: bool Type.op_Equali
主要问题 不太确定这是否可能,但由于我讨厌 Typescript 并且它使我的编码变得困难,我想我会问只是为了确定。 interface ISomeInterface { handler: ()
我是一名优秀的程序员,十分优秀!