MONADS NA PRÁTICA @breno_ferreira Breno Ferreira

PROGRAMAÇÃO FUNCIONAL É ASSUSTADOR Functors Monoids Catamorphism MONAD

PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Functors Monoids Catamorphism MONAD

PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Monoids Catamorphism MONAD

PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Monoids Aggregatables MONAD

PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Composables Aggregatables MONAD

PROGRAMAÇÃO FUNCIONAL É POUCO FAMILIAR Mappables Composables Aggregatables Chainable

ORIENTAÇÃO A OBJETO É ASSUSTADOR! Polimorfismo Herança Variancia interfaces SOLID SRP, OCP, LSP, ISP, DIP IoC, DI, MVC, ORM, GoF, PoEAA…

ORIENTAÇÃO A OBJETO É ASSUSTADOR! Polimorfismo Herança Variancia interfaces SOLID SRP, OCP, LSP, ISP, DIP IoC, DI, MVC, ORM, GoF, PoEAA…

MAS O QUE É UMA MONAD?

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

DEFINIÇÃO DE UMA MONAD type Monad return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b

TRADUÇÃO interface Monad static Create(value: A): Monad flatMap(mapper: A -> Monad): Monad

MAS PARA QUE AS MONADS SÃO ÚTEIS? • Nulls • Exceptions • Assincronia • Reactive Programming • Mutable state • etc…

HTTPS://GITHUB.COM/BRENOFERREIRA/CSHARP.FUN

OBRIGADO! @breno_ferreira