Dlaczego nie mogę wypróbować FlatMap?

Question

Biorąc

val strings = Set("Hi", "there", "friend") 
def numberOfCharsDiv2(s: String) = scala.util.Try { 
    if (s.length % 2 == 0) s.length/2 else throw new RuntimeException("grr") 
} 

Dlaczego nie mogę flatMap dala Try wynikającą z wywołania metody? tj

strings.flatMap(numberOfCharsDiv2) 
<console>:10: error: type mismatch; 
found : scala.util.Try[Int] 
required: scala.collection.GenTraversableOnce[?] 
       strings.flatMap(numberOfCharsDiv2) 

lub

for { 
    s <- strings 
    n <- numberOfCharsDiv2(s) 
} yield n 
<console>:12: error: type mismatch; 
found : scala.util.Try[Int] 
required: scala.collection.GenTraversableOnce[?] 
      n <- numberOfCharsDiv2(s) 

Jednak jeśli mogę użyć opcji zamiast Spróbuj to nie ma problemu.

def numberOfCharsDiv2(s: String) = if (s.length % 2 == 0) 
    Some(s.length/2) else None 
strings.flatMap(numberOfCharsDiv2) # => Set(1, 3) 

Jakie jest uzasadnienie nie pozwala na flatMap spróbować?

Answer 1

Spójrzmy na podpisaniu flatMap.

def flatMap[B](f: (A) => GenTraversableOnce[B]): Set[B] 

Twój numberOfCharsDiv2 jest postrzegana jako String => Try[Int]. Try nie jest podklasą GenTraversableOnce i dlatego pojawia się błąd. Nie potrzebujesz dokładnie funkcji, która daje Set tylko dlatego, że używasz flatMap na Set. Funkcja zasadniczo musi zwrócić każdy rodzaj kolekcji.

Dlaczego więc działa z Option? Option nie jest również podklasą GenTraversableOnce, ale istnieje niejawna konwersja wewnątrz obiektu towarzyszącego Option, która przekształca go w obiekt List.

implicit def option2Iterable[A](xo: Option[A]): Iterable[A] = xo.toList 

Pozostaje jedno pytanie. Dlaczego nie ma również niejawnej konwersji dla Try? Ponieważ prawdopodobnie nie dostaniesz tego, czego chcesz.

flatMap może być postrzegany jako map, a następnie flatten.

Wyobraź sobie, że masz List[Option[Int]], takie jak List(Some(1), None, Some(2)). Wtedy flatten da Ci List(1,2) typu List[Int].

Teraz spójrz na przykład z Try. List(Success(1), Failure(exception), Success(2)) typu List[Try[Int]].

Jak spłaszczy się teraz praca z awarią?

• Czy powinien zniknąć jak None? Dlaczego więc nie pracować bezpośrednio z Option?
• Czy powinien zostać uwzględniony w wyniku? Wtedy byłby to List(1, exception, 2). Problem polega na tym, że typem jest List[Any], ponieważ musisz znaleźć wspólną super klasę dla Int i Throwable. Tracisz typ.

Powody, dla których nie ma konwersji niejawnej, powinny być uzasadnione. Oczywiście, możesz sam zdefiniować siebie, jeśli zaakceptujesz powyższe konsekwencje.

Answer 2

Problem polega na tym, że w twoim przykładzie nie jesteś spłaszczony przez Wypróbuj. Flatmap, który robisz, minął Set.

Przebicie mapy przez zestaw zajmuje ustawienie [A], a funkcję od A do ustawienia [B]. Jak Kígyó wskazuje w jego komentarz poniżej to nie jest rzeczywisty podpis rodzaj flatmap na planie w Scala, ale ogólna postać płaskiej mapie jest:

M[A] => (A => M[B]) => M[B]

Oznacza to, że zajmuje trochę wyższe kinded type, wraz z funkcją, która działa na elementach tego typu w typie wyższego typu, i daje ten sam typ wyższego typu z odwzorowanymi elementami.

W twoim przypadku oznacza to, że dla każdego elementu zestawu, Flatmap oczekuje wywołania funkcji, która pobiera łańcuch, i zwraca zestaw typu B, który może być ciągiem (lub czymkolwiek innym).

Twoja funkcja

numberOfCharsDiv2(s: String) 

poprawnie pobiera ciąg, ale nieprawidłowo zwraca próbować, a następnie inny zestaw jako wymagającego flatmap.

Twój kod zadziała, jeśli użyjesz "mapy", ponieważ pozwala to na zajęcie pewnej struktury - w tym przypadku Ustaw i uruchom funkcję nad każdym elementem przekształcając ją z A na B bez typu powrotu funkcji zgodnego z struktura otaczająca czyli zwracanie Set

strings.map(numberOfCharsDiv2)

res2: scala.collection.immutable.Set[scala.util.Try[Int]] = Set(Success(1), Failure(java.lang.RuntimeException: grr), Success(3))