Practical Eff monad
•Download as PPTX, PDF•
3 likes•1,096 views
How do we use DI and the eff monad at zalando to structure a microservice.
Recommended
Recommended
More Related Content
What's hot
What's hot (19)
Similar to Practical Eff monad
Similar to Practical Eff monad (20)
More from Eric Torreborre
More from Eric Torreborre (20)
Recently uploaded
Recently uploaded (20)
Practical Eff monad
- 1. Eric Torreborre Practical Eff monad Doing it for real
- 8. How to deal?
- 9. Components!
- 11. DI?
- 12. Cake?
- 13. Guice?
- 14. Spring?
- 15. Radical
- 20. Grafter
- 30. In a library?
- 33. Unit testing?
- 37. Tree rewriting!
- 38. Kiama
- 41. Singleton?
- 48. Stay lazy!
- 50. Start order?
- 54. Eff please!
- 57. What the Eff?
- 61. Out of the box
- 65. Article service
- 66. FlowId
- 69. Logged
- 74. Applicative
- 79. Async
- 84. Mitsaeks we made
- 85. Stack definition
- 87. At the latest moment!
- 88. Errors
- 89. 3 possibilities
- 90. 1 error style per layer Translation between layers
- 91. Use one error type
- 96. Everything is a (Free) DSL?
- 98. Make price request request [PriceRequest] [PriceRequest] response Interpret request [PriceRequest, Async] [Async]
- 106. Recap
- 111. Batching
Editor's Notes
- You learn new concepts....
- Now where to start?
- How do we use Eff at Zalando?
- Brand solutions - shop in shop (with CMS / analytics) - onboarding new merchants - small store - big brand
- Article service - onboarding new merchants - find an article id from the EAN - set stock, set price -> ready to sell!
- - evolving front-end APIs - evolving back-end services - evolving libraries
- What’s the proven technique for dealing with these constraints?
- Interface + implementation
- Encapsulate technical alternatives, not processes
- Cake Pattern? Guice? Spring?
- Cake Pattern? Guice? Spring?
- Cake Pattern? Guice? Spring?
- Cake Pattern? Guice? Spring?
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Interfaces
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Radical idea: constructor injection
- Laziness is essential, nothing should start!
- Laziness is essential, nothing should start!
- Lazyness is essential, nothing should start!
- Start services from the bottom-up and collect results
- What has Eff to do with all of this?
- Which effects we want to use? Future, Reader, Writer?
- What has Eff to do with all of this?
- Either as request
- Either as request, interpreted with runEither
- Article service - onboarding new merchants - find an article id from the EAN - set stock, set price -> ready to sell!
- Radical idea: constructor injection
- Concurrent execution Batching
- Concurrent execution Batching
- Concurrent execution Batching
- Concurrent execution Batching
- What’s the problem with Future again?
- What’s the problem with Future again?
- This means that we don’t have to expose all effects at the component level!
- How do we deal with errors?
- How do we deal with errors?
- How do we deal with errors? - low level - domain level
- How do we deal with errors?
- How do we deal with errors?
- This means that we don’t have to expose all effects at the component level!
- This means that we don’t have to expose all effects at the component level!
- In general components are not interpreters except to
- Make price request gives you back a *program*
- Make price request gives you back a *program*
- Make price request gives you back a *computation*
- Recap on a service signature
- Recap on a service signature
- That's all folks!
- How do we deal with errors? - low level - domain level
- Concurrent execution Batching
- Concurrent execution Batching
- Batching
- Concurrent execution Batching
- Concurrent execution Batching
- Concurrent execution Batching
- Concurrent execution Batching