Bir Seçeneği Sabitleme Farkı [Liste [Int]] 2.9.1 ve 2.10 her gece

Question

Farklı davranışlar alıyorum, 2.9.1 ve 2.10 her gece - ne değişti?

Welcome to Scala version 2.9.1.final (OpenJDK Client VM, Java 1.6.0_22). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> Some(3) map (x => List(x, -x)) flatten 
res0: List[Int] = List(3, -3) 

Karşı:

Welcome to Scala version 2.10.0.r26084-b20111129020255 (OpenJDK Client VM, Java 1.6.0_22). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> Some(3) map (x => List(x, -x)) flatten 
<console>:8: error: Cannot prove that List[Int] <:< Option[B]. 
       Some(3) map (x => List(x, -x)) flatten 

Answer 1

nedeni Seçenek yalnızca iç içe Option s çalışır 2.10'da bir flatten yöntemi, kazanılmış olduğunu.

2.9'da, düzleştirme çağrısı, Iterable'a dolaylı bir dönüştürme ile eklenmiş ve sonuç, Iterable (veya Option'un iç içe geçmiş değerine bağlı olarak bunun bir alt türü) olmuştur.

Burada 2.10'da flatten imzası var:

def flatten[B](implicit ev: <:<[A, Option[B]): Option[B] 

Diyor: Bu seçenek içinden eleman bir Option kendisi olduğunu kanıtlar bulabilirse, bunu dümdüz ve bir Option[B] döndürebilir, Option[B] söylerler.

Yalnızca bu adı taşıyan no yönteminin uygulandığı durumlarda, örtükler yalnızca denenir, bu nedenle neden 2.9 yöntemine geri dönülmediğini açıklar.