Понимание метода опционов

Question

Для следующей map подписи я читаю ее правильно?

object OptionImpl extends Option { 
     def map[B](f: A => B): Option[B] 
    } 

источник - FP in Scala

[B] означает только объекты типа B могут вызвать эту функцию

f: A => B означает, что он принимает 1 аргумент, функция, которая возвращает тот же тип B

Я нечеткий на конкретном примере этой функции.

Answer 1

B - это просто шаблон (т. Е. Общий). Он просто говорит, что эти два типа одинаковы:

def map[B](f: A => B): Option[B] 
       ^  ^

То есть, он говорит: если вы передадите мне функцию, которая преобразует A с до B с, я дам вам обратно в Option, которое может содержать B (где B может быть любого типа).

Answer 2

Это очень полезная ссылка http://blog.tmorris.net/posts/scalaoption-cheat-sheet/ об использовании опции.

Если у вас есть сценарий, как этот

option match { 
    case None => None 
    case Some(x) => Some(foo(x)) 
} 

использования

option.map(foo(_)) 

Другой пример

def processBody(contentType: String): String = { 
..... 
} 

val body: Option[String] = 
    headers.get("Content-Type").map(processBody(_)) 

Я предположил, что здесь headers.get возвращает один вариант.