Inato
A Functional Programing journey
About me
- 🐙 @ThierryCols
- 🖥 6 years
- 🧳 EM
Started functional stuff @inato 💊
Setup
& Inciting Incident
The Throwing Issue
The Throwing Issue
Can you tell the type difference?
The Throwing Issue
There is none.
The Throwing Issue
- Throwing is not reflected in a function signature 🖋
- Throwing does not force the caller to react 👮♀️
We need a safer way to type what can fail.
And Functional Programming can help with that. 🧮
A little aside
on Functional Programming
👩🏫 What is FP to you?
A little aside on Functional Programming
- Pure functions and function composition 🗃
-
Strong type system and containers 📦
- Immutability (and no shared state) 🛡
Either to the rescue
- Explicit function signatures
- Returning an arbitrary number of errors
What we want:
Either to the rescue
Either to the rescue
Either to the rescue
- Explicit function signatures ✅
- Returning an arbitrary number of errors ✅
What we have:
Actions & Climax
Tooling our Either
Manipulating containers
- combinators (map, chain...)
- destructors (fold, getOrElse...)
- helpers (pipe, flow...)
Without combinators
With
combinators
Get Help from the community
github.com/gcanti/fp-ts
- Write helper functions fromInatoEitherToFPEither 🥵
- Depreciate homemade code (lint/static) 👮♀️
- Boyscout the codebase 🧹
Advanced Patterns
More Types to solve more problems
- Null/Undefined ➡️ Option
- Async/Promises ➡️ Task
Advanced Patterns
Dependency Injection
Advanced Patterns
Dependency Injection
Resolution.
Was it worth the hassle?
Is FP Worth?
Development Speed 🐢
🤔
Is FP Worth?
Code Quality 🎲
Is FP Worth?
Developer Hapiness 💆♀️
9/10 devs @Inato ❤️ FP
Resistance from newcomers
Enlightenment
Cheers 🍻
Questions?