Tweet
Tweet

Slide 1

Slide 1 text

Logging Without Tradeoffs

Slide 2

Slide 2 text

define: logging

Slide 3

Slide 3 text

Logging is the cutting, skidding, on-site processing, and loading of trees or logs onto trucks or skeleton cars. In forestry, the term logging is sometimes used in a narrow sense concerning the logistics of moving wood from the stump to somewhere outside the forest, usually a sawmill or a lumber yard. Wikipedia - On Logging! (i.e. can’t be wrong) (disclaimer: could actually be wrong)

Slide 4

Slide 4 text

… logistics of moving wood from the stump to somewhere outside the forest, usually a sawmill or a lumber yard. Wikipedia - On Logging! (i.e. can’t be wrong) (disclaimer: could actually be wrong)

Slide 5

Slide 5 text

Sawmill

Slide 6

Slide 6 text

Sawmill Lumber Yard

Slide 7

Slide 7 text

how?

Slide 8

Slide 8 text

&1

Slide 9

Slide 9 text

an example

Slide 10

Slide 10 text

No content

Slide 11

Slide 11 text

No content

Slide 12

Slide 12 text

! 1 case class Stock(name: String) ! ! ! ! ! ! ! ! ! ! ! !

Slide 13

Slide 13 text

! 1 case class Stock(name: String) 2 3 sealed trait Order 4 case class Buy(stock: Stock, qty: Long) extends Order 5 case class Sell(stock: Stock, qty: Long) extends Order 6 case object Hold extends Order ! ! ! ! ! ! ! !

Slide 14

Slide 14 text

! 1 case class Stock(name: String) 2 3 sealed trait Order 4 case class Buy(stock: Stock, qty: Long) extends Order 5 case class Sell(stock: Stock, qty: Long) extends Order 6 case object Hold extends Order 7 8 case class Tick(time: Timestamp, stock: Stock, cents: Long) ! ! ! ! ! !

Slide 15

Slide 15 text

! 1 case class Stock(name: String) 2 3 sealed trait Order 4 case class Buy(stock: Stock, qty: Long) extends Order 5 case class Sell(stock: Stock, qty: Long) extends Order 6 case object Hold extends Order 7 8 case class Tick(time: Timestamp, stock: Stock, cents: Long) 9 10 case class Quanity(stock: String, qty: Long) \ ! ! !

Slide 16

Slide 16 text

! 1 case class Stock(name: String) 2 3 sealed trait Order 4 case class Buy(stock: Stock, qty: Long) extends Order 5 case class Sell(stock: Stock, qty: Long) extends Order 6 case object Hold extends Order 7 8 case class Tick(time: Timestamp, stock: Stock, cents: Long) 9 10 case class Quanity(stock: String, qty: Long) 11 12 case class Budget(cash: Long, stocks: List[Quanitity]) ! !

Slide 17

Slide 17 text

! 1 case class Stock(name: String) 2 3 sealed trait Order 4 case class Buy(stock: Stock, qty: Long) extends Order 5 case class Sell(stock: Stock, qty: Long) extends Order 6 case object Hold extends Order 7 8 case class Tick(time: Timestamp, stock: Stock, cents: Long) 9 10 case class Quanity(stock: String, qty: Long) 11 12 case class Budget(cash: Long, stocks: List[Quantity]) 13 14 case class Decision(model: Model, budget: Budget, order: Order)

Slide 18

Slide 18 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 5 case Some(ticks) => 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 }

Slide 19

Slide 19 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 }

Slide 20

Slide 20 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 8 9 10 11 12 13 14 15 16 17 18 19 20 }

Slide 21

Slide 21 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 10 case None => 11 12 13 14 15 16 17 18 19 } 20 }

Slide 22

Slide 22 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 ProgrammersTryingToLoseYourMoney(decision, guard).left 10 case None => 11 12 13 14 15 16 17 18 19 } 20 }

Slide 23

Slide 23 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 ProgrammersTryingToLoseYourMoney(decision, guard).left 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 14 case TradeRejected => 15 16 case TradeAccepted(budget) => 17 18 } 19 } 20 }

Slide 24

Slide 24 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 ProgrammersTryingToLoseYourMoney(decision, guard).left 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 BannedFor(decision, reason).left 14 case TradeRejected => 15 16 case TradeAccepted(budget) => 17 18 } 19 } 20 }

Slide 25

Slide 25 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 ProgrammersTryingToLoseYourMoney(decision, guard).left 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 BannedFor(decision, reason).left 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 18 } 19 } 20 }

Slide 26

Slide 26 text

1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 ProgrammersTryingToLoseYourMoney(decision, guard).left 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 BannedFor(decision, reason).left 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 }

Slide 27

Slide 27 text

! 1 def decide(seed: Model, ticks: List[Tick], budget: Budget): Decision = { 2 3 4 5 6 7 8 9 10 }

Slide 28

Slide 28 text

! 1 def decide(seed: Model, ticks: List[Tick], budget: Budget): Decision = { 2 val model = seed.update(ticks, budget) 3 4 5 6 7 8 9 10 }

Slide 29

Slide 29 text

! 1 def decide(seed: Model, ticks: List[Tick], budget: Budget): Decision = { 2 val model = seed.update(ticks, budget) 3 val predictions = model.predictions 4 5 6 7 8 9 10 }

Slide 30

Slide 30 text

! 1 def decide(seed: Model, ticks: List[Tick], budget: Budget): Decision = { 2 val model = seed.update(ticks, budget) 3 val predictions = model.predictions 4 val offer = 5 predictions 6 .sortBy(p => -1 * p.confidence * p.score) 7 .map(_.offer) 8 .head 9 10 }

Slide 31

Slide 31 text

! 1 def decide(seed: Model, ticks: List[Tick], budget: Budget): Decision = { 2 val model = seed.update(ticks, budget) 3 val predictions = model.predictions 4 val offer = 5 predictions 6 .sortBy(p => -1 * p.confidence * p.score) 7 .map(_.offer) 8 .head 9 Decision(model, budget, offer) 10 }

Slide 32

Slide 32 text

fp much?

Slide 33

Slide 33 text

! 1 def bot(exchange: Exchange, model: Model, budget: Budget): Error \/ Unit = 2 exchange.next match { 3 case None => 4 Disconnected(exchange).left 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 ProgrammersTryingToLoseYourMoney(decision, guard).left 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 BannedFor(decision, reason).left 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 }

Slide 34

Slide 34 text

! 1 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 2 exchange.next.flatMap({ 3 case None => 4 EitherT.left(Diconnected(exchange)) 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 EitherT.left(BannedFor(decision, reason)) 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 })

Slide 35

Slide 35 text

No content

Slide 36

Slide 36 text

! Error \/ Unit ! EitherT[IO, Error, Unit]

Slide 37

Slide 37 text

! Error \/ Unit ! EitherT[IO, Error, Unit] ! IO[Error \/ Unit]

Slide 38

Slide 38 text

so logging…

Slide 39

Slide 39 text

! 1 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 2 exchange.next.flatMap({ 3 case None => 4 EitherT.left(Diconnected(exchange)) 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 EitherT.left(BannedFor(decision, reason)) 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 })

Slide 40

Slide 40 text

! 1 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 2 exchange.next.flatMap({ 3 case None => 4 EitherT.left(Diconnected(exchange)) 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 EitherT.left(BannedFor(decision, reason)) 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 }) ! avoid it

Slide 41

Slide 41 text

! 1 sealed trait Error 2 3 case class BannedFor( 4 decision: Decision 5 , reason: Reason 6 ) extends Error 7 8 case object Disconnected 9 extends Error 10 11 case class ProgrammersTryingToLoseYourMoney( 12 decision: Decision 13 , check: Check 14 ) extends Error !

Slide 42

Slide 42 text

when you can’t?

Slide 43

Slide 43 text

No content

Slide 44

Slide 44 text

(,)

Slide 45

Slide 45 text

! 1 def decide(seed: Model, ticks: List[Tick], budget: Budget): Decision = { 2 val model = seed.update(ticks, budget) 3 val predictions = model.predictions 4 val offer = 5 predictions 6 .sortBy(p => -1 * p.confidence * p.score) 7 .map(_.offer) 8 .head 9 Decision(model, budget, offer) 10 }

Slide 46

Slide 46 text

! 1 def decide(s: Model, t: List[Tick], b: Budget): Writer[Log, Decision] = { 2 val model = seed.update(ticks, budget) 3 val predictions = model.predictions 4 val offer = 5 predictions 6 .sortBy(p => -1 * p.confidence * p.score) 7 .map(_.offer) 8 .head 9 Decision(model, budget, offer) <++ (“all predictions: ” + predictions) 10 }

Slide 47

Slide 47 text

! 1 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 2 exchange.next.flatMap({ 3 case None => 4 EitherT.left(Diconnected(exchange)) 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 EitherT.left(BannedFor(decision, reason)) 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 })

Slide 48

Slide 48 text

! 1 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 2 exchange.next.flatMap({ 3 case None => 4 EitherT.left(Diconnected(exchange)) 5 case Some(ticks) => 6 val decision = decide(model, ticks, budget) 7 check(decision) match { 8 case Some(guard) => 9 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 10 case None => 11 exchange.trade(decision.order, decision.budget) match { 12 case Banned(reason) => 13 EitherT.left(BannedFor(decision, reason)) 14 case TradeRejected => 15 bot(exchange, decision.model, decision.budget) 16 case TradeAccepted(budget) => 17 bot(exchange, decision.model, budget) 18 } 19 } 20 }) ! fail at it

Slide 49

Slide 49 text

2 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 3 exchange.next.flatMap({ 4 case None => 5 EitherT.left(Diconnected(exchange)) 6 case Some(ticks) => 7 val decision = decide(model, ticks, budget) 8 println("got ticks: " + ticks.size) 9 check(decision) match { 10 case Some(guard) => 11 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 12 case None => 13 exchange.trade(decision.order, decision.budget) match { 14 case Banned(reason) => 15 EitherT.left(BannedFor(decision, reason)) 16 case TradeRejected => 17 println("trade-rejected: " + decision) 18 bot(exchange, decision.model, decision.budget) 19 case TradeAccepted(budget) => 20 bot(exchange, decision.model, budget) 21 } 22 } 23 }) ! fail at it

Slide 50

Slide 50 text

2 def bot(exchange: Exchange, model: Model, budget: Budget): EitherT[IO, Error, Unit] = 3 exchange.next.flatMap({ 4 case None => 5 EitherT.left(Diconnected(exchange)) 6 case Some(ticks) => 7 val decision = decide(model, ticks, budget) 8 putStrLn("got ticks: " + ticks.size).liftIO >> ( 9 check(decision) match { 10 case Some(guard) => 11 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 12 case None => 13 exchange.trade(decision.order, decision.budget) match { 14 case Banned(reason) => 15 EitherT.left(BannedFor(decision, reason)) 16 case TradeRejected => 17 putStrLn("trade-rejected: " + decision).liftIO >> 18 bot(exchange, decision.model, decision.budget) 19 case TradeAccepted(budget) => 20 bot(exchange, decision.model, budget) 21 } 22 }) 23 }) ! fail at it (again)

Slide 51

Slide 51 text

after some time… we realise the need to pass arguments to functions

Slide 52

Slide 52 text

and pass functions as arguments…

Slide 53

Slide 53 text

3 case class Trace(trace: String => IO[Unit]) !

Slide 54

Slide 54 text

! def bot( e: Exchange , m: Model , b: Budget , t: Trace ): EitherT[IO, Error, Unit]

Slide 55

Slide 55 text

one weird trick…

Slide 56

Slide 56 text

! def bot( e: Exchange , m: Model , b: Budget , t: Trace ): EitherT[IO, Error, Unit]

Slide 57

Slide 57 text

! type App[A] = ReaderT[EitherT[IO, _], Trace[IO], A] ! def bot( e: Exchange , m: Model , b: Budget ): App[IO, Error, Unit]

Slide 58

Slide 58 text

but really… passing arguments is cool

Slide 59

Slide 59 text

! def bot( e: Exchange , m: Model , b: Budget , t: Trace ): EitherT[IO, Error, Unit]

Slide 60

Slide 60 text

2 def bot(e: Exchange, m: Model, b: Budget, t: Trace): EitherT[IO, Error, Unit] 3 exchange.next.flatMap({ 4 case None => 5 EitherT.left(Diconnected(exchange)) 6 case Some(ticks) => 7 val decision = decide(model, ticks, budget) 8 t.trace(“got ticks: " + ticks.size).liftIO >> ( 9 check(decision) match { 10 case Some(guard) => 11 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)) 12 case None => 13 exchange.trade(decision.order, decision.budget) match { 14 case Banned(reason) => 15 EitherT.left(BannedFor(decision, reason)) 16 case TradeRejected => 17 t.trace(“trade-rejected: " + decision).liftIO >> 18 bot(exchange, decision.model, decision.budget) 19 case TradeAccepted(budget) => 20 bot(exchange, decision.model, budget) 21 } 22 }) 23 })

Slide 61

Slide 61 text

this is what most people reach after doing fp (poorly) for a while

Slide 62

Slide 62 text

and this is also the start of my actual talk …

Slide 63

Slide 63 text

! Error \/ Unit ! EitherT[IO, Error, Unit] ! IO[Error \/ Unit]

Slide 64

Slide 64 text

! Error \/ Unit ! EitherT[F, Error, Unit] ! F[Error \/ Unit]

Slide 65

Slide 65 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget ): EitherT[F, Error, Unit] ! bot[IO]( real , model , budget ): EitherT[IO, Error, Unit] ! bot[Option]( memory , model , budget ): EitherT[Option, Error, Unit]

Slide 66

Slide 66 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget ): EitherT[F, Error, Unit] ! bot[IO]( real , model , budget ): IO[Error \/ Unit] ! bot[Option]( memory , model , budget ): Option[Error \/ Unit]

Slide 67

Slide 67 text

3 case class Trace(trace: String => IO[Unit]) !

Slide 68

Slide 68 text

3 case class Trace[F[_]](trace: String => F[Unit]) !

Slide 69

Slide 69 text

3 case class Trace[F[_]](trace: String => F[Unit]) ! ! avoid strings

Slide 70

Slide 70 text

3 case class Trace[F[_], A](trace: A => F[Unit]) ! ! avoid strings

Slide 71

Slide 71 text

3 case class Trace[F[_], A](trace: A => F[Unit]) ! ! seen this before?

Slide 72

Slide 72 text

3 type Trace[F[_], A] = ReaderT[F, A, Unit] !

Slide 73

Slide 73 text

1 sealed trait Log 2 3 case class Received( 4 ticks: List[Tick] 5 ) extends Error 6 7 case class Reject( 8 decision: Decision 9 ) 10 11 case class Accepted( 12 decision: Decision 13 ) 14 15 case class Prediction ( 16 predictions: NonEmptyList[Prediction] 17 , selected: Offer 18 )

Slide 74

Slide 74 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget , t: Trace[F, Log] ): EitherT[F, Error, Unit]

Slide 75

Slide 75 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget , t: Trace[F, Log] ): EitherT[F, Error, Unit]

Slide 76

Slide 76 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget , t: Trace[EitherT[F, _, ?], Log] ): EitherT[F, Error, Unit]

Slide 77

Slide 77 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget , t: Trace[EitherT[F, _, ?], Log] ): EitherT[F, Error, Unit]

Slide 78

Slide 78 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget , t: Trace[EitherT[F, _, ?], Log] ): EitherT[F, Error, Unit]

Slide 79

Slide 79 text

2 type Trace[F[_], A] = 3 ReaderT[F, A, Unit] 4 5 type Traceable[F[_], A, B] = 6 ReaderT[F, Trace[F], A]

Slide 80

Slide 80 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget ): Traceable[EitherT[F, Error, ?], Log, Unit]

Slide 81

Slide 81 text

2 type Trace[F[_], A] = 3 ReaderT[F, A, Unit] 4 5 type Traceable[F[_], A, B] = 6 ReaderT[F, Trace[F], A] 7 8 type Bot[F[_], A] = 9 Traceable[F[_], Log, A]

Slide 82

Slide 82 text

! def bot[F[_]: Monad]( e: Exchange[F] , m: Model , b: Budget ): Bot[EitherT[F, Error, ?], Unit]

Slide 83

Slide 83 text

! def decide( seed: Model , ticks: List[Tick] , budget: Budget ): Writer[Log, Decision]

Slide 84

Slide 84 text

! def decide[F[_]: Monad]( seed: Model , ticks: List[Tick] , budget: Budget ): Bot[F, Decision]

Slide 85

Slide 85 text

2 type Trace[F[_], A] = 3 ReaderT[F, A, Unit] 4 5 type Traceable[F[_], A, B] = 6 ReaderT[F, Trace[F], A] 7 8 type Bot[F[_], A] = 9 Traceable[F[_], Log, A]

Slide 86

Slide 86 text

No content

Slide 87

Slide 87 text

! 1 def log[F[_]](message: A): Traceable[F, A, Unit] = 2 ReaderT(t => t.trace(message))

Slide 88

Slide 88 text

! 1 def decide[F[_]](s: Model, t: List[Tick], b: Budget): Bot[F, Decision] = { 2 val model = seed.update(ticks, budget) 3 val predictions = model.predictions 4 val offer = 5 predictions 6 .sortBy(p => -1 * p.confidence * p.score) 7 .map(_.offer) 8 .head 9 log(Prediction(prediction, off)).as( 10 Decision(model, budget, offer)) 11 }

Slide 89

Slide 89 text

2 def bot(e: Exchange, m: Model, b: Budget): Bot[EitherT[F, Error ?], Unit] = 3 exchange.next.flatMap({ 4 case None => 5 EitherT.left(Diconnected(exchange)).lift 6 case Some(ticks) => 7 val decision = decide(model, ticks, budget).lift 8 log(Received(ticks)) >> ( 9 check(decision) match { 10 case Some(guard) => 11 EitherT.left(ProgrammersTryingToLoseYourMoney(decision, guard)).lift 12 case None => 13 exchange.trade(decision.order, decision.budget) match { 14 case Banned(reason) => 15 EitherT.left(BannedFor(decision, reason)).lift 16 case TradeRejected => 17 log(Rejected(decision)) >> 18 bot(exchange, decision.model, decision.budget) 19 case TradeAccepted(budget) => 20 bot(exchange, decision.model, budget) 21 } 22 }) 23 })

Slide 90

Slide 90 text

1 2 def writer[F[_]: Applicative, A]: Trace[WriterT[F, Vector[A], ?]] = 3 Trace(a => WriterT.tell(a)) 4 5 def stream[A](out: java.io.PrintStream, show: A => String) : Trace[IO, A] = 6 Trace(a => IO { out.println(show(a)) }) 7 8 def out[A](show: A => String): Trace[IO, A] = 9 stream(Console.out) 10 11 def err[A](show: A => String): Trace[IO, A] = 12 stream(Console.err) 13 14 def noop[F[_]: Applicative, A]: Trace[F, A] = 15 Trace(_ => ().pure[F]) 16 17 def hoistEither[F[_], A](t: Trace[F, A]): Trace[EitherT[F, _, A]] = 18 ??? 19 20 def io[F[_], A](t: Trace[WriterT[F, Vector[A], ?], A]):Trace[IO, A] = 22 ???

Slide 91

Slide 91 text

2 val d1: Decision = 3 decide(seed, ticks, budget).run(noop[Id, Log]) 4 5 val d2: (Vector[Log], Decision) = 6 decide(seed, ticks, budget).run(writer[Log]).run 7 8 val d3: IO[Decision] = 9 decide(seed, ticks, budget).run(out(render)).run

Slide 92

Slide 92 text

2 type Trace[F[_], A] = 3 ReaderT[F, A, Unit] 4 5 type Traceable[F[_], A, B] = 6 ReaderT[F, Trace[F], A] 7 8 type Bot[F[_], A] = 9 Traceable[F[_], Log, A]

Slide 93

Slide 93 text

1 2 def writer[F[_]: Applicative, A]: Trace[WriterT[F, Vector[A], ?]] = 3 Trace(a => WriterT.tell(a)) 4 5 def stream[A](out: java.io.PrintStream, show: A => String) : Trace[IO, A] = 6 Trace(a => IO { out.println(show(a)) }) 7 8 def out[A](show: A => String): Trace[IO, A] = 9 stream(Console.out) 10 11 def err[A](show: A => String): Trace[IO, A] = 12 stream(Console.err) 13 14 def noop[F[_]: Applicative, A]: Trace[F, A] = 15 Trace(_ => ().pure[F]) 16 17 def hoistEither[F[_], A](t: Trace[F, A]): Trace[EitherT[F, _, A]] = 18 ??? 19 20 def io[F[_], A](t: Trace[WriterT[F, Vector[A], ?], A]):Trace[IO, A] = 22 ???

Slide 94

Slide 94 text

3 case class Trace[F[_], A]( 4 trace: A => F[Unit] 5 , hoist: Trace[WriterT[F, Vector[A], ?], A] 6 )

Slide 95

Slide 95 text

No content