Renzo Carbonara

I build software with types and functional programming.
I am now writing A Type of Programming, a book about that.
Before, I wrote about putting money and SQL in the type system.
See some of my work on my résumé, LinkedIn, Hackage, GitHub or GitLab.
Contact me at . Let's work together.