En utvikler beskriver hvordan han lærte Rusts typesystem å avvise parallelle datarace-feil allerede på kompileringstidspunktet. Tilnærmingen bruker typebasert utelukkelse for å forhindre feil i Redux-lignende mønstre.
Kilde: https://corentin-core.github.io/posts/ruxe-type-level-disjointness/