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

Monads na prática - QConSP 2014

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Breno Ferreira Breno Ferreira
April 09, 2014
Programming
130
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
98
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
100
TDC2013 - Programação assíncrona com Javascript
Avatar for Breno Ferreira brenoferreira
1
580
TDD com Javascript
Avatar for Breno Ferreira brenoferreira
1
530

Other Decks in Programming

See All in Programming
型も通る、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
510
AIエージェントで 変わるAndroid開発環境
Avatar for takahirom takahirom
2
760
生成AIで帳票OCRが「簡単に」作れる時代になった？
Avatar for Shohei Kondo kon_shou
0
230
地域 SRE コミュニティ最前線 - ホンマでっかSRE勉強会
Avatar for tk3fftk tk3fftk
0
290
改善しないと、タスクが回らない。 “てんこ盛りポジション” を引き継いだ情シスの、入社3ヶ月の業務改善録
Avatar for Kurumi Watabe krm963
0
240
変わらないものが、変わるものを決める — 意図駆動開発 × イベントソーシング × イミュータブル | What Doesn't Change Decides What Can — IDD × Event Sourcing × Immutability
Avatar for Tomohisa Takaoka tomohisa
0
970
ここ半年くらいでAIに作らせたR用ツール
Avatar for eitsupi eitsupi
0
360
jsmini JavaScript Engine を作ってみた話
Avatar for Yosuke Furukawa yosuke_furukawa
PRO
0
280
AI時代に設計が 最大の生産性レバーになる 意図駆動開発とデータを消さない設計｜Don't Delete Your Data or Your Intent — Design as the Deepest Lever in the AI Era
Avatar for Tomohisa Takaoka tomohisa
0
250
AWS CDK を「作」ってみた 〜フルスクラッチで見えた CDK の裏側〜 / aws-cdk-from-scratch
Avatar for k.goto gotok365
3
2.7k
ソフトウェア設計に溶けるインフラ ― AWS CDK のインフラ認識論
Avatar for Kenji Kono konokenj
3
720
Build-to-own AI: Agentic Development for Humans
Avatar for Ines Montani inesmontani
PRO
0
160

Featured

See All Featured
How STYLIGHT went responsive
Avatar for nonsquared nonsquared
100
6.2k
Why Mistakes Are the Best Teachers: Turning Failure into a Pathway for Growth
Avatar for Umar Saidu Auna auna
0
190
The AI Revolution Will Not Be Monopolized: How open-source beats economies of scale, even for LLMs
Avatar for Ines Montani inesmontani
PRO
3
3.7k
Sharpening the Axe: The Primacy of Toolmaking
Avatar for Bryan Cantrill bcantrill
46
2.9k
Faster Mobile Websites
Avatar for Dean Hume deanohume
310
32k
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
463
34k
Bioeconomy Workshop: Dr. Julius Ecuru, Opportunities for a Bioeconomy in West Africa
Avatar for AKADEMIYA2063 akademiya2063
PRO
1
190
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
46
8.2k
Music & Morning Musume
Avatar for Bryan Veloso bryan
47
7.3k
The SEO Collaboration Effect
Avatar for Kristina Bergwall kristinabergwall1
1
510
Improving Core Web Vitals using Speculation Rules API
Avatar for Sergey Chernyshev sergeychernyshev
21
1.6k
The Web Performance Landscape in 2024 [PerfNow 2024]
Avatar for Tammy Everts tammyeverts
12
1.2k

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