Как совместить значения параметра в Scala?

Я хочу иметь возможность применять операции f: (T,T) => T to Option[T] значения в Scala. Я хочу, чтобы результат был None, если любое из двух значений None.

В частности, я хочу знать, существует ли более короткий способ сделать следующее:

def opt_apply[T](f: (T,T) => V, x: Option[T], y: Option[T]): Option[T] = {
  (x,y) match {
    case (Some(u),Some(v)) => Some(f(u,v))
    case _ => None
  }
}

Я попробовал (x zip y) map {case (u,v) => f(u,v)}, но результатом является Iterator[T] не a Option[T].

Любая помощь будет оценена. Спасибо.

Ответ 1

scala> val (x, y) = (Some(4), Some(9))
x: Some[Int] = Some(4)
y: Some[Int] = Some(9)

scala> def f(x: Int, y: Int) = Math.max(x, y)
f: (x: Int,y: Int)Int

scala> for { x0 <- x; y0 <- y } yield f(x0, y0)
res26: Option[Int] = Some(9)

scala> val x = None
x: None.type = None

scala> for { x0 <- x; y0 <- y } yield f(x0, y0)
res27: Option[Int] = None

Ответ 2

@RahulG ответ использует тот факт, что Option является монадой (даже если нет такого типа, чтобы представлять это в библиотеке Scala). Компилятор расширяет понимание for следующим образом:

def a: Option[Int]
def b: Option[Int]
val calc: Option[Int] = a flatMap {aa => b map {bb => aa + bb}}

Вы также можете рассматривать его как прикладной функтор, с некоторой помощью от Scalaz:

import scalaz._
import Scalaz._

def a: Option[Int]
def b: Option[Int]
val calc: Option[Int] = (a ⊛ b) {_ + _}

Ключевое различие заключается в том, что при монадическом расчете неудача (т.е. None) вычисления a сокращает оценку. В аппликативном стиле оцениваются как a, так и b, и если оба они Some s, вызывается чистая функция. Вы также можете увидеть, что в монадическом вычислении значение aa могло быть использовано в расчете b; в аппликативной версии b не может зависеть от результата a.

Ответ 3

У меня немного более старая версия scalaz, чем retronym, но следующее работает для меня в качестве примера и обобщается для случая, когда у вас есть 3 типа T, U, V, а не только один:

def main(args: Array[String]) {
  import scalaz._
  import Scalaz._

  val opt1 = some(4.0) //Option[Double]
  val opt2 = some(3)   //Option[Int]

  val f: (Double, Int) => String = (d, i) => "[%d and %.2f]".format(i, d)

  val res = (opt1 <|*|> opt2).map(f.tupled)
  println(res) //Some([3 and 4.00])
}

Затем я могу добавить:

val opt3 = none[Int]
val res2 = (opt1 <|*|> opt3).map(f.tupled)
println(res2) //None

Ответ 4

Вы можете использовать для понимания:

def opt_apply[T](f: (T,T) => T, x: Option[T], y: Option[T]): Option[T] = 
     for (xp <- x; yp <- y) yield (f(xp,yp))

Что такое сахар для:

x flatMap {xp => y map {yp => f(xp, yp)}}

Это также возможно из-за того, что Option является Monad

Ответ 5

def optApply[A,B,C](f: (A, B) => C, a: Option[A], b: Option[B]): Option[C] =
  a.zip(b).headOption.map { tup => f.tupled(tup) }

a.zip(b) приводит к Iterable [(A, B)] (с, потому что он из Options, не более одного элемента). headOption затем возвращает первый элемент в качестве параметра.