Innover avec les types, c'est transformer notre code ! #Innovation #TypeDrivenDevelopment #LeadershipTech