[TDC Floripa 2025] Abordagens funcionais efetivas em TypeScript com Effect-TS

Effect-TS surgiu na comunidade JavaScript como uma poderosa biblioteca funcional e type-safe para criar apps complexos e escaláveis. Como acontece com qualquer tecnologia nova, ela parece intrigante, mas ao mesmo tempo assustadora! Nesta apresentação, vou mostrar como pode ser efetivo e pragmático escrever software de fácil manutenção com o Effect-TS.

Transcript

1. Abordagens funcionais efetivas em TypeScript com Effect-TS
2. Talysson Oliveira Software architect & Chief Learning Officer na Codeminer42
3. codeminer42.com @codeminer42
4. Modelagem de fluxos em um código
6. Falta de tipagem explícita
8. Function coloring Fonte: <https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/>
9. Imagem original por @ShyRyanW <https://twitter.com/ShyRyanW/status/1702730128520830994>
11. Falta de tipagem explícita para erros
12. Function coloring permanece um problema
14. O que é um "effect"? O design pattern effect
15. Effect⟨Success, Error, Dependencies⟩ (Por enquanto)
16. Effect⟨Success, Error⟩
17. 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ó
18. Ah! Então isso é uma Mon… 🤨
19. Ah! Então isso é uma Mon… CALMA 🤨
20. Inicialmente vai parecer complexidade desnecessária É uma forma diferente de expressar fluxos
21. npm install effect
24. https://effect.website/play/#2e4724b5852f
25. I
27. https://effect.website/play/#84b998f8dcf8
29. Pipeline de effects!
30. Generator function Valor "extraído" do effect* * Semelhante a um await
32. https://effect.website/play/#d82acbb05dd9
35. https://effect.website/play/#8389acedb43d
36. Executando um effect
38. https://effect.website/play/#c22360e02fe3
39. https://effect.website/play/#c22360e02fe3
40. https://effect.website/play/#c22360e02fe3
41. https://effect.website/play/#c22360e02fe3
42. 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)
43. Nesse momento você já sabe tudo que vai usar 80%* do tempo trabalhando com Effect ⚠ * Estatística baseada em chutômetro
44. Integrando o Effect com aplicações reais "Effectizando" bibliotecas
48. Inversão de dependência
51. Análogo a uma interface
53. Ainda não temos uma implementação!
54. Effect⟨Success, Error, Dependencies⟩ (agora sim!)
59. https://effect.website/play/#6fa980b77496
60. Os próximos passos - Effect Schema - Layers and Services - Effect Platform (Experimental)
61. 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
62. Essa técnica é comum em FP - A técnica se chama Tagless final - Scala + ZIO - Haskell + MTL - …
63. Obrigado! @talyssonoc | @codeminer42
64. Referências - Effect-TS website - What color is your function? - Generator functions - ZIO - Introduction to tagless final