在Scala中指定lambda返回类型

Question

注意:这是一个理论性的问题，我并不试图修复任何东西，也不试图为了实际目的达到任何效果

在Scala中使用＜code＞（参数）创建lambda时=

Lambdas与方法没有什么不同，它们都被指定为表达式，但就我的理解，方法的返回类型很容易用< code > def name(arguments):return type = expression 语法来定义。

考虑这个(说明性的)例子:

def sequence(start: Int, next: Int=>Int): ()=>Int = {
    var x: Int = start

    //How can I denote that this function should return an integer?    
    () => {
        var result: Int = x
        x = next(x)
        result
    }
}

Answer 1

x => x:SomeType

我自己不知道答案，因为我从来不需要它，但我的直觉是，这将起作用。在工作表中尝试证实了这一点。

编辑:上面有例子之前我就提供了这个答案。在具体的例子中确实不需要这样。但是在极少数需要的情况下，我展示的语法会起作用。

Answer 2

假设你有这个功能：

def mulF(a: Int, b: Int): Long = {
      a.toLong * b
}

同样的函数可以写成lambda，并定义输入和输出类型:

val mulLambda: (Int, Int) => Long = (x: Int, y: Int) => { x.toLong * y }

Answer 3

您始终可以通过附加＜code＞：

((x: Int) => x.toString): (Int => String)

例如，如果您有一个非常复杂的表达式，并且您不想依靠类型推断来直接获取类型，这将非常有用。

{
  if (foo(y)) x => Some(bar(x))
  else        x => None
}: (Int => Option[Bar])
// Without type ascription, need (x: Int)

但是，如果将结果赋给一个指定类型的临时变量，可能会更清楚:

val fn: Int => Option[Bar] = {
  if (foo(y)) x => Some(bar(x))
  else        _ => None
}