代码之家 › 专栏 › 技术社区 › oxbow_lakes

scala类型推理问题

catamorphism type-inference scala

oxbow_lakes · 技术社区 · 14 年前

我只是和 Tony Morris' excellent exercise on catamorphisms 当我在思考以下情况时…

def cata[X](some: A => X, none: => X): X

现在让我按如下方式调用此方法:

def isDefined: Boolean = cata( _ => true, false)

我想知道类型推断器是否确定 _ => true 成为 A => Boolean 或 Any => Boolean . 因为事实上 Function1 是 逆变式 在其输入参数中,以下两个编译都很好:

def isDefined: Boolean = cata( (_: A) => true, false)    //#1
def isDefined: Boolean = cata( (_: Any) => true, false)  //#2

所以问题是,类型推断者想出了1还是2?

1 回复 | 直到 14 年前

Arjan Blokzijl 14 年前

我试过了:


trait MyOption[+A] {
   def cata[X](some: A => X, none: => X): X
   def isDefined: Boolean = cata( _ => true, false)
}

并用 scalac -Xprint:types . 这产生了以下输出:


[[syntax trees at end of typer]]// Scala source: myoption.scala
package  {
  abstract trait MyOption[A >: Nothing : Nothing  X, none: => X): X;
    def isDefined: Boolean = MyOption.this.cata[Boolean](((x$1: A) => true), false)
  }
}

因此,从外观上看,类型推断者想出了选项1。

推荐文章

Picci · Typescript推断问题-导出函数的返回类型具有或正在使用名称。。。但无法命名

6 年前

sweisgerber.dev · 将var与文本一起使用是否会产生一个基元或基元包装器类?

7 年前

Michael Runzler · 动态类型化方法中的奇数型推理

7 年前

K.Os · Kotlin和RxJava类型推断失败

7 年前

Crazycolorz5 · (^)上的类型推断问题

7 年前

Igor Soloydenko · 广义“promisify”函数中的类型脚本类型推断

7 年前

Josh Stone · Scala类型推断错误

7 年前

LazyHatIQ · 类型脚本类型推断、扩展语法和多类型返回

7 年前

hkk David Calhoun · Tern无法使用JSDoc类型信息

7 年前

MasterScrat · 将TypeScript编译器推断出的类型添加到原始TS源代码中

7 年前