Share
Embed
Slide 1
Slide 1 text
Abordagens
funcionais
efetivas em
TypeScript
com Effect-TS
Slide 2
Slide 2 text
Talysson Oliveira
Software architect
& Chief Learning Officer
na Codeminer42
Slide 3
Slide 3 text
codeminer42.com
@codeminer42
Slide 4
Slide 4 text
Modelagem de fluxos
em um código
Slide 5
Slide 5 text
No content
Slide 6
Slide 6 text
Falta de tipagem explícita
Slide 7
Slide 7 text
No content
Slide 8
Slide 8 text
Function coloring
Fonte:
Slide 9
Slide 9 text
Imagem original por @ShyRyanW
Slide 10
Slide 10 text
No content
Slide 11
Slide 11 text
Falta de tipagem explícita para erros
Slide 12
Slide 12 text
Function coloring permanece um problema
Slide 13
Slide 13 text
No content
Slide 14
Slide 14 text
O que é um "effect"?
O design pattern effect
Slide 15
Slide 15 text
Effect⟨Success, Error, Dependencies⟩
(Por enquanto)
Slide 16
Slide 16 text
Effect⟨Success, Error⟩
Slide 17
Slide 17 text
Effect⟨Success, Error⟩
Independente da causa
- Síncrono
- Promise
- Callback
- Combinação dos anteriores
- Outros effects
{
Resolve a falta de tipagem para erros
} Resolve o problema
de function coloring*
*Colorindo tudo de uma cor só
Slide 18
Slide 18 text
Ah! Então isso é uma Mon…
🤨
Slide 19
Slide 19 text
Ah! Então isso é uma Mon…
CALMA
🤨
Slide 20
Slide 20 text
Inicialmente vai parecer complexidade desnecessária
É uma forma diferente de expressar fluxos
Slide 21
Slide 21 text
npm install effect
Slide 22
Slide 22 text
No content
Slide 23
Slide 23 text
No content
Slide 24
Slide 24 text
https://effect.website/play/#2e4724b5852f
Slide 25
Slide 25 text
I
Slide 26
Slide 26 text
No content
Slide 27
Slide 27 text
https://effect.website/play/#84b998f8dcf8
Slide 28
Slide 28 text
No content
Slide 29
Slide 29 text
Pipeline de effects!
Slide 30
Slide 30 text
Generator function
Valor "extraído" do effect*
* Semelhante a um await
Slide 31
Slide 31 text
No content
Slide 32
Slide 32 text
https://effect.website/play/#d82acbb05dd9
Slide 33
Slide 33 text
No content
Slide 34
Slide 34 text
No content
Slide 35
Slide 35 text
https://effect.website/play/#8389acedb43d
Slide 36
Slide 36 text
Executando um effect
Slide 37
Slide 37 text
No content
Slide 38
Slide 38 text
https://effect.website/play/#c22360e02fe3
Slide 39
Slide 39 text
https://effect.website/play/#c22360e02fe3
Slide 40
Slide 40 text
https://effect.website/play/#c22360e02fe3
Slide 41
Slide 41 text
https://effect.website/play/#c22360e02fe3
Slide 42
Slide 42 text
Effect.succeed(value)
Effect.fail(error)
Effect.catchTag(tag, callback)
Effect.promise(asyncFunction)
Effect.tryPromise({ try: asyncFunction, catch: errorHandler })
Effect.gen(generator)
Effect.runPromise(effect)
Slide 43
Slide 43 text
Nesse momento você já sabe
tudo que vai usar 80%* do
tempo trabalhando com Effect
⚠
* Estatística baseada em chutômetro
Slide 44
Slide 44 text
Integrando o Effect
com aplicações reais
"Effectizando" bibliotecas
Slide 45
Slide 45 text
No content
Slide 46
Slide 46 text
No content
Slide 47
Slide 47 text
No content
Slide 48
Slide 48 text
Inversão de dependência
Slide 49
Slide 49 text
No content
Slide 50
Slide 50 text
No content
Slide 51
Slide 51 text
Análogo a uma interface
Slide 52
Slide 52 text
No content
Slide 53
Slide 53 text
Ainda não temos uma implementação!
Slide 54
Slide 54 text
Effect⟨Success, Error, Dependencies⟩
(agora sim!)
Slide 55
Slide 55 text
No content
Slide 56
Slide 56 text
No content
Slide 57
Slide 57 text
No content
Slide 58
Slide 58 text
No content
Slide 59
Slide 59 text
https://effect.website/play/#6fa980b77496
Slide 60
Slide 60 text
Os próximos passos
- Effect Schema
- Layers and Services
- Effect Platform (Experimental)
Slide 61
Slide 61 text
Ok, vamos usar aquela palavra com "M"
- Os effects são um tipo de monad
- Você não precisou saber que monad é "o monoid
da categoria dos endofunctors"
- Nem que "monads são como burritos", ou
"monads são como cebolas", etc.
- Se você nunca entendeu ou nem ouviu falar de
monads: Não precisa aprender só pra poder usar
o Effect efetivamente
Slide 62
Slide 62 text
Essa técnica é comum em FP
- A técnica se chama Tagless final
- Scala + ZIO
- Haskell + MTL
- …
Slide 63
Slide 63 text
Obrigado!
@talyssonoc | @codeminer42
Slide 64
Slide 64 text
Referências
- Effect-TS website
- What color is your function?
- Generator functions
- ZIO
- Introduction to tagless final