Lancern's Treasure Chest
12:30 · Nov 28, 2024 · Thu
Cursed linear types in Rust
Comments
via
geo-ant.github.io
via jmillikin
geo-ant.github.io
Cursed Linear Types In Rust
Inspired by Jack Wrenn’s post on Undroppable Types
in Rust, I set out to see if it’s possible to create types that must be used exactly
once. From my understanding, those things are called linear types, but
don’t quote me on that1.
Unless…
Home
Powered by
BroadcastChannel
&
Sepia