Monads na prática - QConSP 2014

Transcript

1. MONADS NA PRÁTICA @breno_ferreira Breno Ferreira
2. PROGRAMAÇÃO FUNCIONAL É ASSUSTADOR Functors Monoids Catamorphism MONAD
3. PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Functors Monoids Catamorphism MONAD
4. PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Monoids Catamorphism MONAD
5. PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Monoids Aggregatables MONAD
6. PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Composables Aggregatables MONAD
7. PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Composables Aggregatables Chainable
8. ORIENTAÇÃO A OBJETO É ASSUSTADOR! Polimorfismo Herança Variancia interfaces SOLID SRP, OCP, LSP, ISP, DIP IoC, DI, MVC, ORM, GoF, PoEAA…
9. ORIENTAÇÃO A OBJETO É ASSUSTADOR! Polimorfismo Herança Variancia interfaces SOLID SRP, OCP, LSP, ISP, DIP IoC, DI, MVC, ORM, GoF, PoEAA…
10. MAS O QUE É UMA MONAD?
11. MAS O QUE É UMA MONAD? A monad is just a monoid in the category of endofunctors. James Iry http://james-iry.blogspot.com.br/2009/05/brief-incomplete-and-mostly-wrong.html
12. DEFINIÇÃO DE UMA MONAD type Monad return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b
13. TRADUÇÃO interface Monad<A> static Create(value: A): Monad<A> flatMap(mapper: A -> Monad<B>): Monad<B>
14. MAS PARA QUE AS MONADS SÃO ÚTEIS? • Nulls • Exceptions • Assincronia • Reactive Programming • Mutable state • etc…
15. HTTPS://GITHUB.COM/BRENOFERREIRA/CSHARP.FUN
16. OBRIGADO! @breno_ferreira