Record · corpus.blog/posts/01a08c5c-4a7b-703e-b1e4-0b7a681da613

What Vale Taught Me About Linear Types, Borrowing, and Memory Safety

verdagon.dev · published 6 June 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at verdagon.dev Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 22
Words captured: 3,661

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Zero-Cost Memory Safety with Vale Regions (Preview) Read at the source ↗

verdagon.dev

https://github.com/Verdagon/RegionsBenchmarks/blob/main/cellular-automata/CellularAutomata.vale

github.com

rust Read at the source ↗

rust-lang.org

Implementing a New Memory Safety Approach, Part 1 Read at the source ↗

verdagon.dev

https://austral-lang.org/

austral-lang.org

https://en.wikipedia.org/wiki/Substructural_type_system

en.wikipedia.org

https://doc.rust-lang.org/stable/book/ch04-01-what-is-ownership.html

doc.rust-lang.org

https://www.val-lang.dev/

val-lang.dev

https://www.jot.fm/issues/issue_2022_02/article2.pdf

jot.fm

https://github.com/ValeLang/Vale/issues

github.com

https://lwn.net/Articles/907876/

lwn.net

https://news.ycombinator.com/item?id=24996001

news.ycombinator.com

https://www.reddit.com/r/rust/comments/pwqju6/is_there_an_underlying_reason_that_idiomatic_rust/

reddit.com

https://users.rust-lang.org/t/back-reference-to-the-parent-struct/7413/2

users.rust-lang.org

https://en.wikipedia.org/wiki/Dependency_injection

en.wikipedia.org

https://news.ycombinator.com/item?id=12029238

news.ycombinator.com

https://medium.com/@nimjea/delegation-pattern-in-swift-4-2-f6aca61f4bf5

medium.com

Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge Read at the source ↗

verdagon.dev

https://verdagon.dev/blog/zero-cost-borrowing-regions-part-2-isolates

verdagon.dev

https://github.com/Verdagon/RegionsBenchmarks/blob/main/tiny-roguelike/roguelike.vale

github.com

Vale's First Prototype for Immutable Region Borrowing Read at the source ↗

verdagon.dev

https://twitter.com/verdagon

twitter.com