"Effect, Fiber & Schema: tactical and technical characteristics of Effect.ts", Taras Shevchuk
0 likes62 views
While the ECMAScript standard hopelessly stalled somewhere around 2017, the world of TypeScript development is approaching its mid-life crisis — with typed error handling, dependency injection typing, runtime type safety, logical concurrency, and many other concepts still unresolved at the language level. Libraries like fp-ts, InversifyJS, io-ts, and RxJS offer only isolated solutions to these issues. And now, a new white knight appears on the web development horizon — Effect.ts! Does it solve the aforementioned problems? What’s under the hood? And how can developers best “dive into Effect”? In this talk, I’ll explain how we adopted Effect.ts, what it truly offers to developers, and whether it really changes the game in the world of TypeScript.
"Effect, Fiber & Schema: tactical and technical characteristics of Effect.ts", Taras Shevchuk
- 1. 1
- 2. 2 Капітан Тарас Шевчук, офіцер відділу розробки Центру інновацій та розвитку оборонних технологій Міністерства оборони України Автор, техлід та розробник декількох веб- модулів військової екосистеми Delta Мобілізований в Сили Оброни України з 2022 року, до цього - web team leader у MyHeritage
- 3. 3
- 4. 4
- 7. The history of JS/TS computations 1995 JS was born 2005 AJAX 2009 Node.JS 2012 2013 2015 Promises/A+ RxJS ES2015 2017 Observable TC39 Stage 1 https://rxjs.dev/guide/observable
- 8. Challenge #1: No error types 8
- 9. 9 Challenge #1: No error types
- 10. 10 Challenge #2: Poor DI typing system
- 11. 11 Challenge #2: Poor DI typing system
- 12. 12
- 13. 13 Actions Task: create POST method for REST service 1.Encode request payload 2.Send the request 3.If failed, repeat 3 times 4.If a long timeout, failed off 5.Parse the response to a business entity 6.If any error occurs, send a log
- 14. 14 ParseError Errors HTTPError TimeoutException ParseError Task: create POST method for REST service Actions 1.Encode request payload 2.Send the request 3.If failed, repeat 3 times 4.If a long timeout, failed off 5.Parse the response to a business entity 6.If any error occurs, send a log
- 15. 15 Task: create POST method for REST service ParseError Errors HTTPError TimeoutException Services HTTPService LogService Actions 1.Encode request payload 2.Send the request 3.If failed, repeat 3 times 4.If a long timeout, failed off 5.Parse the response to a business entity 6.If any error occurs, send a log ParseError
- 17. 17
- 18. 18 1. Payload encoding 2. HTTP request 3. Retry policy 4. Timeout policy 5. Response decoding 6. Error logging
- 19. 19 Challenge 1: Error handling
- 20. 20 Challenge 1: Error handling
- 21. 21 Challenge 2: Dependency injection
- 22. 22 Challenge 2: Dependency injection
- 24. 24 How to invoke Effect?
- 25. 25 runFork creates Fiber How to invoke Effect?
- 27. 27
- 28. 28 Fiber - concept of task for cooperative multitasking https://medium.com/traveloka-engineering/cooperative-vs-preemptive-a-quest-to-maximize- concurrency-power-3b10c5a920fe
- 29. 29 run Fiber 1 run Fiber 2 run Fiber 3 run Fiber 1 Event loop Fibers queue #2 #3 #3 #1 #1 Effect3 .runFork(...) Effect2 .runFork(...) Effect1 .runFork(...) Fiber - concept of task for cooperative multitasking
- 30. 30 Example: run three fibers simultaneously
- 33. 33
- 34. 34
- 35. 35 Encoded Data
- 39. 39 never
- 40. 40 Sync: Async: Effect: Three types of decoding
- 41. 41 Epilogue
- 42. 42 Schema Data Types Error Management Dependency injection Concurrency Encoding Decoding Type guards Assertions Arbitrary Option Chunk Exit Cause DateTime Exptected Errors Unexpected Errors Retrying policies Error accumulation Services Layers Runtimes Fiber Stream Sink Semaphore Latch
- 43. 43 Schema Data Types Error Management Dependency injection Concurrency Encoding Decoding Type guards Assertions Arbitrary Option Chunk Exit Cause DateTime Exptected Errors Unexpected Errors Retrying policies Error accumulation Services Layers Runtimes Fiber Stream Sink Semaphore Effect.ts Core Command KeyValueStore Terminal FIleSystem Effect.ts Platform HTTP API/Client/Server Socket Worker Latch
- 44. 44 The End. LobbyX (Center of Innovations)