옵션으로 시작하여 스칼라에서 컴파일을하지 않는 이유는 무엇입니까?

Question

을 감안할 때 이러한 정의 :

val guys = List("Albert", "Tom") 
val girls = List("Mary", "Stacy", "Josie") 

val optRoom: Option[String] = Some("Room 303") 

이 날 List[String] 기대에 평가 : 루프 내부의 일을 조금 돌리면

for { 
    guy <- guys 
    girl <- girls 
    room <- optRoom 
} yield { 
    s"$guy dances with $girl in $room" 
} 

을, 나는 이것이 Option[List[String]]로 평가 기대하지만, 그것도하지 않습니다 컴파일 :

for { 
    room <- optRoom 
    guy <- guys 
    girl <- girls 
} yield { 
    s"$guy dances with $girl in $room" 
} 

왜 안 되니? 내가 뭘 놓치고 있니? (나는 optRoot을 시퀀스 /리스트/iterable로 변환 할 수 있지만, 원하는 것은 아니다)

Option[List[String]]을 얻으려면 코드를 어떻게 다시 작성해야합니까?

Answer 1

두 번째 예는 당신이 OptionoptRoom.flatMap에 반환하지 않는 때문에 작동하지 않습니다

optRoom flatMap { room => 
    guys flatMap { guy => 
    girls map { girl => 
     s"$guy dances with $girl in $room" 
    } 
    } 
} 

에 해당합니다. 답에 대한

이

for { 
    room <- optRoom 
} yield for { 
    guy <- guys 
    girl <- girls 
} yield { 
    s"$guy dances with $girl in $room" 
} 

Answer 2

당신은 할 수 있습니다 :

는

optRoom.map(room => for { 
    guy <- guys 
    girl <- girls 
} yield s"$guy dances with $girl in $room") 

는 for 대략로 번역됩니다 2 귀하의 :

optRoom.flatMap(room => guys.flatMap(guy => girls.map(girl => s"$guy dances with $girl in $room"))) 

당신이이 매개 변수가 String => Option[B]에서 기능입니다 것으로 예상된다 optRoom.flatMap(room => ...)을 가지고 있기 때문에,하지만 guys.flatMap(...)은 아니다 유형은 Option입니다.