I'm Andrea ๐, a freelance software developer with strong skills in JavaScript and TypeScript. Additionally, I'm a huge fan of functional programming and I extensively use libraries like Effect in my daily work.
At the moment, I'm a master's student in theoretical CS at the University of Pisa. I'm strongly drawn to the theoretical aspects of Computer Science. Lately, I have been delving into type systems.
I also have a strong passion for sharing my knowledge through articles, videos, and training courses. You can find more by browsing through my website!
My grandma ๐ต๐ปโค๏ธ
- What the heck are reverse mapped types? on 2024-08-02
- Parsing raw data with existential types on 2024-07-17
- What type parameters really are on 2024-07-09
- How to express correlations on 2024-01-15
- What the heck is a homomorphic mapped type? on 2023-12-28
- Cloning JavaScript objects with graph theory on 2021-04-30
- Do Vue 3 refs admit a monad instance? on 2020-07-30