Rust-Projekt: Unbewegliche Typen und garantierte Destruktoren
Rust project goals: Immobile types and guaranteed destructors
Das Rust-Projekt schlägt neue Auto-Traits vor, die es Typen erlauben, sich gegen Verschieben oder Vergessen zu wehren. Dies soll selbstreferenzielle Futures ohne Pin ermöglichen und sichere Scoped-Spawn-Muster für Async garantieren. Die Arbeit folgt dem Vorbild der Sized-Hierarchie und wird im Linux-Kernel getestet.
Anstatt zu versuchen, die Sprache zu ändern, damit Pin funktioniert, glauben wir, dass das Problem bei Pin liegt und wir die Kodierung unbeweglicher Typen in Rust verbessern sollten – mit dem letztendlichen Ziel, Pin vollständig aus Rust zu entfernen.