Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Monads na prática - QConSP 2014

Avatar for Breno Ferreira Breno Ferreira
April 09, 2014
Programming
140
0

Monads na prática - QConSP 2014

Avatar for Breno Ferreira

Breno Ferreira

April 09, 2014

More Decks by Breno Ferreira

See All by Breno Ferreira
TDC Globo Sistemas Distribuídos
Avatar for Breno Ferreira brenoferreira
1
110
Trabalho Remoto TDC Globo 2020
Avatar for Breno Ferreira brenoferreira
1
130
Immutable Da
Avatar for Breno Ferreira brenoferreira
0
100
Remote Work
Avatar for Breno Ferreira brenoferreira
0
110
Fun with Types
Avatar for Breno Ferreira brenoferreira
0
250
RxJava
Avatar for Breno Ferreira brenoferreira
1
420
.NET Além do Mundo Microsoft
Avatar for Breno Ferreira brenoferreira
0
110
TDC2013 - Programação assíncrona com Javascript
Avatar for Breno Ferreira brenoferreira
1
590
TDD com Javascript
Avatar for Breno Ferreira brenoferreira
1
530

Other Decks in Programming

See All in Programming
源内ハンズオン概要編
Avatar for Hideyuki Nagata hideg
0
140
What's New in Android 2026
Avatar for Veronikapj veronikapj
0
250
型も通る、synthも通る、それでも危ない 〜AIのCDKの権限とコストを機械で検証する〜 / It Passes Type Checks, It Passes Synth Checks, but It’s Still Risky — Automatically Verifying Permissions and Costs in AI’s CDK —
Avatar for shiro seike seike460
PRO
1
540
Detecting Compromised CI with eBPF and Cilium Tetragon
Avatar for Liz Rice lizrice
0
160
メールのエイリアス機能を履き違えない
Avatar for 船長（せんちょう） isshinfunada
0
230
わからない話を追いかけたら、プログラミング言語を作る側にいた
Avatar for ydah ydah
3
480
AI時代に設計が 最大の生産性レバーになる 意図駆動開発とデータを消さない設計｜Don't Delete Your Data or Your Intent — Design as the Deepest Lever in the AI Era
Avatar for Tomohisa Takaoka tomohisa
1
740
Laravelで学ぶ Webアプリケーションチューニング入門/web_application_tuning_101
Avatar for Ryo Tomidokoro hanhan1978
4
1.7k
ドリフトを絶対に許さない（？）CDK運用 / CDK Ops with Zero Tolerance for Drifts (?)
Avatar for アキキー | Akihisa Ikeda akihisaikeda
1
180
全PRの83%がAIレビューだけでマージできるようになった開発組織はその後どうなったか
Avatar for a-thug athug
1
1.5k
AIが無かった頃の素敵な出会いの話
Avatar for コドモン開発チーム codmoninc
1
390
改善しないと、タスクが回らない。 “てんこ盛りポジション” を引き継いだ情シスの、入社3ヶ月の業務改善録
Avatar for Kurumi Watabe krm963
0
260

Featured

See All Featured
The State of eCommerce SEO: How to Win in Today's Products SERPs - #SEOweek
Avatar for Aleyda Solis aleyda
2
11k
Conquering PDFs: document understanding beyond plain text
Avatar for Ines Montani inesmontani
PRO
4
2.9k
Being A Developer After 40
Avatar for Adrian Kosmaczewski akosma
91
590k
Navigating the moral maze — ethical principles for Al-driven product design
Avatar for Skipper Chong Warson skipperchong
2
470
Stewardship and Sustainability of Urban and Community Forests
Avatar for Eric Wiseman pwiseman
0
440
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
Avatar for Tammy Everts tammyeverts
56
3.4k
Sharpening the Axe: The Primacy of Toolmaking
Avatar for Bryan Cantrill bcantrill
46
2.9k
Building AI with AI
Avatar for Ines Montani inesmontani
PRO
1
1.1k
Abbi's Birthday
Avatar for Violet Bock coloredviolet
3
9.3k
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
45
9.2k
YesSQL, Process and Tooling at Scale
Avatar for Rocio Delgado rocio
174
15k
Measuring & Analyzing Core Web Vitals
Avatar for Philip Tellis bluesmoon
9
950

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