Jak odfiltrować Nikt nie jest poza listą [opcja]?

Jeśli mam List[Option[A]]w Scali, jaki jest idiomatyczny sposób na odfiltrowanie Nonewartości?

Jednym ze sposobów jest użycie:

val someList: List[Option[String]] = List(Some("Hello"), None, Some("Goodbye"))
someList.filter(_ != None)

Czy jest bardziej „idiomatyczny” sposób? Wydaje się to całkiem proste.

Jeśli chcesz pozbyć się opcji w tym samym czasie, możesz użyć flatten:

scala> someList.flatten
res0: List[String] = List(Hello, Goodbye)

someList.filter(_.isDefined) jeśli chcesz zachować typ wyniku jako List[Option[A]]

catsBiblioteka posiada również flattenOption, co zamienia każdy F[Option[A]]w produkt F[A](jeśli F[_]jest FunctorFilter)

import cats.implicits._

List(Some(1), Some(2), None).flattenOption == List(1, 2)