После того как я укрепил мое понимание того, почему параметр в методе является контравариантным положение с SO размещать scala contravariant position on methodСписок :: метод и ковариационной
Я смотрю на список [+ A] в Скале, и я вижу этот метод это хорошо, так как позиция параметра контравариантен
def contains[A1 >: A](elem: A1)
То, что я не получаю такое определение :: метод, который кажется, что не будет компилировать
def ::(x: A): List[A]
что такое продолжая этот метод? о, они скрывают настоящую подпись?
def ::[B >: A](x: B): List[B]
ОК, то почему они скрывают настоящую подпись?
разные стили скаладока, возможно, разными авторами – soulcheck
дубликат http://stackoverflow.com/questions/26089746/how-to-explain-map-map-result посмотреть комментарии о "scaladoc, use cases и damn lies ». –