课件单子效果effects.pdfVIP

Makingfailureevidentintypes

classTry[T]

caseclassSuccess[T](elem:T)extendsTry[T]

caseclassFailure(t:Throwable)

extendsTry[Nothing]

traitAdventure{

defcollectCoins():Try[List[Coin]]

defbuyTreasure(coins:List[Coin]):

Try[Treasure]

}

Dealingwithfailureexplicitly

valadventure=Adventure()

valcoins:Try[List[Coin]]=

adventure.collectCoins()

valtreasure:Try[Treasure]=coinsmatch{

caseSuccess(cs)=

adventure.buyTreasure(cs)

casefailure@Failure(e)=failure

Higher-orderFunctionstomanipulateTry[T]

defflatMap[S](f:T=Try[S]):Try[S]

defflatten[U:Try[T]]:Try[U]

defmap[S](f:T=S):Try[T]

deffilter(p:T=Boolean):Try[T]

defrecoverWith(f:

PartialFunction[Throwable,Try[T]]):Try[T]

Monadsguideyouthroughthehappypath

Amonadthathandleceptions.

Noisereduction

valadventure=Adventure()

valtreasure:Try[Treasure]=

adventure.collectCoins().flatMap(

coins⇒{

adventure.buyTreasure(coins)

})

FlatMapisthe

plumberforthe

happypath!

Usingcomprehensionsyntax

valadventure=Adventure()

valtreasure:Try[Treasure]=for{

coins-adventure.collectCoins()

treasure-buyTreasure(coins)

}yieldtreasure

Higher-orderFunctiontomanipulateTry[T]

defmap[S](f:T=S):Try[S]=thismatch{

caseSuccess(value)=Try(f(value))

casefailure@Failure(t)=failure

}

Materialize

exceptions