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
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
120
Immutable Da
Avatar for Breno Ferreira brenoferreira
0
98
Remote Work
Avatar for Breno Ferreira brenoferreira
0
100
Fun with Types
Avatar for Breno Ferreira brenoferreira
0
240
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
【やさしく解説 設計編・中級 #4】ルールの寿命と、システムの年輪
Avatar for HideyukiKitao panda728
PRO
2
140
ローカルLLMでどこまでコードが書けるか -縮小版 /　How much code can be written on a local LLM Shortened
Avatar for Naoki Kishida kishida
2
190
Hatena Engineer Seminar #37「言語モデルの活用に関する研究」
Avatar for SlashNephy slashnephy
0
520
PHP Application における Kubernetes 内 gRPC 通信
Avatar for Shin Ohno ganchiku
0
500
作るコストが小さくなった時代 幸せに働くために改めて考えたいこと 〜エンジニアとして価値を出し続けるために注視している二分野〜
Avatar for YuppeEng yuppeeng
0
100
ローカルLLMでどこまでコードが書けるか -拡張版 /　How much code can be written on a local LLM Extended
Avatar for Naoki Kishida kishida
12
4.8k
トークンをケチるな、設計しろ：GitHub Copilotを賢く使うコンテキスト戦略
Avatar for Ochtum ochtum
0
320
AI時代の仕事技芸論〜ソフトウェア開発で「遊ぶように働く」職人的熟達のすすめ（スクフェス仙台 2026バージョン）
Avatar for Yoshihito Kuranuki / 倉貫義人 kuranuki
0
650
型も通る、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
360
ソフトウェア設計に溶けるインフラ ― AWS CDK のインフラ認識論
Avatar for Kenji Kono konokenj
2
550
どこまでゆるくて許されるのか
Avatar for tk3fftk tk3fftk
0
500
Claude Team Plan導入・ガイド
Avatar for tk3fftk tk3fftk
0
210

Featured

See All Featured
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
301
52k
Introduction to Domain-Driven Design and Collaborative software design
Avatar for Kenny Baas-Schwegler baasie
1
900
Why Our Code Smells
Avatar for Brandon Keepers bkeepers
PRO
340
58k
SERP Conf. Vienna - Web Accessibility: Optimizing for Inclusivity and SEO
Avatar for Sara Fernández Carmona sarafernandez
2
1.5k
BBQ
Avatar for Matthew Crist matthewcrist
89
10k
Bash Introduction
Avatar for André Augusto Costa Santos 62gerente
615
220k
Building Applications with DynamoDB
Avatar for Matt Wood mza
96
7.1k
What does AI have to do with Human Rights?
Avatar for Per Axbom axbom
PRO
1
2.3k
Fantastic passwords and where to find them - at NoRuKo
Avatar for Phil Nash philnash
52
3.8k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
Avatar for Kevin Liebholz kevinliebholz
37
6.5k
jQuery: Nuts, Bolts and Bling
Avatar for Doug Neiner dougneiner
66
8.5k
Mobile First: as difficult as doing things right
Avatar for Swwweet swwweet
225
10k

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