Eric Torreborre
Practical
Eff monad
Doing it for real
About Zalando
Brand solutions
Article service
Articleservice
Zeos
products
business-partners
stocks
59.95 €
10 items
How to deal?
Components!
DI?
Cake?
Guice?
Spring?
Radical
Constructor
injection!
Grafter
HttpServer
Routes
Services
Clients
PriceHttpService
PriceHttp4sService
Always one default
In a
library?
reader
all the
way down!
Unit testing?
Integration testing?
HttpServer
Routes
Services
Clients
HttpServer
Routes
Services
Clients
Tree rewriting!
Kiama
Singleton?
HttpServer
Routes
Services
Clients
HttpServer
Routes
Services
Clients
Stay lazy!
Start order?
lazy
reader
rewrite
start
Eff please!
Out of the box
Reader
Eval
Task
State
ThrowableEither
Writer
Article service
FlowId
HttpServer
Routes
Services
Clients
flowId
flowId
flowId
flowId
Logged
Applicative
Concurrent
execution
MasterData PriceService
Inventory
Async
TimedFutureEffect
TaskEffect
TaskEffect TaskEffect
TwitterFutureEffect
FlowId
Logged
Task
Eval
No
Reader[Config, ?]
Mitsaeks we made
Stack definition
At the latest moment!
Errors
3 possibilities
1 error style per layer
Translation between layers
Use one error type
Use local effects!
Everything is
a (Free) DSL?
Make price request
request
[PriceRequest]
[PriceRequest]
response
Interpret request
[PriceRequest, Async]
[Async]
Get price
price
[Async]
[Async]
Time: effect or
component?
Get status
status
[Eval]
now?
[Eval]
now
Get status
status
[Eval]
now?
[Eval]
now FreezedTime
Get status
status
[Eval, Timed]
runFreezedTime(status)
[Eval]
Recap
More
Applicative
Goodies!
Batching
Translation
client
Inventory
Translation
client
Inventory
Pratical eff monad at Scaladays Chicago
Pratical eff monad at Scaladays Chicago
Pratical eff monad at Scaladays Chicago
Pratical eff monad at Scaladays Chicago

Pratical eff monad at Scaladays Chicago