Sûreté, sécurité et limites pratiques

Échange sur les bénéfices des types forts pour réduire bugs, mais aussi les limites face aux erreurs logiques et collisions.

Play episode from 29:02

Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!