Vale's First Prototype for Immutable Region Borrowing
Three years, two states, and one pandemic ago, I wrote about a very weird idea: what if the type system could track which data existed before a pure call, to eliminate its memory safety overhead? 0 And a couple months later, another weird idea struck: what if we use generational indices as the foundation for an entire language? These ideas evolved in weird ways. The first one evolved into a full r
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Advanced Memory Management in Vale (with Evan Ovadia)
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
Implementing Vale's Region Borrowing, and its Unexpected Quest
How Memory Safety Approaches Speed Up and Slow Down Development Velocity
Zero-Cost Borrowing with Vale Regions (Preview)
Fearless FFI: Memory Safety, Safer Dependencies, and Supply-Chain Attack Mitigation
Writing like a pro with vale & neovim
