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 👵🏻❤️

1. What the heck are reverse mapped types? on 2024-08-02
2. Parsing raw data with existential types on 2024-07-17
3. What type parameters really are on 2024-07-09
4. How to express correlations on 2024-01-15
5. What the heck is a homomorphic mapped type? on 2023-12-28
6. Cloning JavaScript objects with graph theory on 2021-04-30
7. Do Vue 3 refs admit a monad instance? on 2020-07-30