/* Page prose (fr) */
"Swift6CompileTimeSafety" = "# Swift 6: le compilateur qui prouve que ta concurrence est sûre\n\nPrends du recul et regarde la machine que tu as construite. `Sendable` dit *quelles valeurs peuvent franchir une frontière*. L'isolation d'actor (`@MainActor`, tes propres actors globaux, les actors simples) dit *à quel domaine appartient un morceau de code*. Ensemble, ils permettent au compilateur de Swift 6 de retracer chaque franchissement de frontière de ton programme et de prouver que deux domaines ne touchent jamais le même état mutable en même temps. Quand il ne peut pas le prouver, tu obtiens une **erreur de compilation au lieu d'une data race**.\n\nC'est un marché véritablement nouveau. Dans le modèle classique, une course était quelque chose que tu diagnostiquais *après* qu'elle t'ait mordu: intermittente, difficile à reproduire, invisible dans une revue de code. Avec cette machinerie, la même erreur ne peut généralement pas atteindre `Run`. Les annotations que tu as apprises ici ne sont pas de la bureaucratie; c'est toi qui donnes au compilateur assez d'informations pour faire la vérification à ta place.\n\nAlors quand tu rencontres une erreur de Sendable ou d'isolation, ne la lis pas comme le compilateur qui fait des difficultés. Lis-la comme: *\"J'ai trouvé un endroit où deux morceaux de code pourraient entrer en collision: dis-moi à quel domaine celui-ci appartient.\"* Réponds à cette question et l'erreur se dissipe. Les erreurs sont de ton côté.\n\n[Précédent](@previous)  |  page 10 sur 11  |  [Suivant: Récapitulatif](@next)";
