Hi 👋

I'm Gabriel!

I build data visualizations 📈 at Datadog and I'm the author and maintainer of TS-Pattern, the most popular pattern matching library for TypeScript, which makes heavy use of type-level programming techniques.

I started TS-Pattern as an experiment to see how far the type system of TypeScript could go, and boy, I didn't expect it could go that far. I discovered a full-fledged programming language with its own concepts and logic. What felt like magic at the beginning started to make sense. I could predict how my complex types would behave — my mental model was getting better and better.

The thing is that few people understand the extent of what TypeScript can do. The type-level language isn't more complicated than any other programming language, but most people don't consider types as a language and that's why they don't learn it properly.

It's time for this to change! I hope Type-level TypeScript will help spread type-level programming knowledge in the TypeScript community!

Find me online!

On Twitter 👉 @GabrielVergnaud

On GitHub 👉 @gvergnaud

If you enjoy Type-level TypeScript, consider sponsoring my work on GitHub!