//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Thanks to the GhostCell paper for teaching me branded types in Rust via invariant lifetimes. This has been *awesome* for eliminating pretty much all bounds and length checks in my indexing-heavy code (and enforcing more subtle invariants).
9d
plv.mpi-sws.org
GhostCell: Separating Permissions from Data in Rust
Nurzhan Saken