Blogs / Personal blogs

geo-ant.github.io

geo-ant.github.io

Popular posts
1
Total points
106
HN comments
22
Rank
#20,498 personal

Visit geo-ant.github.io → On Hacker News Nov 2024 – Nov 2024

Software Engineering 1Programming Languages 1

1

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 you are quoting the title of this article which explicitly says linear types… I…