corpus.blog
41,554 blogs · 4,969,865 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-4a7b-703e-b1e4-0b7a62b9c4bd

Higher RAII, and the Seven Arcane Uses of Linear Types

verdagon.dev · published 14 May 2024

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
2blogs citing
First cited
24 May 2024
Most recent
26 May 2026
Rank this month
not ranked
External links
60
Words captured
7,622

Cited by

Blog
In the post
Date
ergeysay.me
Safe Made Easy Pt.1: Single Ownership is (Not) Optional Read at the source ↗
26 May 2026
gavinhoward
Traits, Destructors, "Higher RAII," and Exceptions Read at the source ↗
24 May 2024

Links from this post

Link
Host
https://www.youtube.com/embed/UavYVf0UEoc?start=958&end=1000
youtube.com
https://en.wikipedia.org/wiki/Substructural_type_system
en.wikipedia.org
https://medium.com/@martriay/rust-and-linear-types-a-short-guide-4845e9f1bb8f
medium.com
https://www.cs.cornell.edu/courses/cs4110/2018fa/lectures/lecture29.pdf
cs.cornell.edu
https://austral-lang.org/linear-types
austral-lang.org
https://youtu.be/ltCgzYcpFUI?t=937
youtu.be
https://stackoverflow.com/a/10984171/1424454
stackoverflow.com
Abstraction, intuition, and the “monad tutorial fallacy”
byorgey.wordpress.com
https://stackoverflow.com/a/49457047/1424454
stackoverflow.com
https://martinfowler.com/bliki/TwoHardThings.html
martinfowler.com
https://sph.mn/dynamic/svn
sph.mn
In nightly Rust, 'await!' may never return (dropping futures) Read at the source ↗
randomhacks.net
https://tickets.canterburypark.com/events/2023/corgi-dog-races
tickets.canterburypark.com
https://youtu.be/tPuKyeVsfZY?t=93
youtu.be
https://www.florabama.com/mullet-toss
florabama.com
https://visitvirginiacitynv.com/events/world-championship-outhouse-races-virginia-city/
visitvirginiacitynv.com
https://blogs.nvidia.com/blog/what-is-retrieval-augmented-generation/
blogs.nvidia.com
The Typestate Pattern in Rust Read at the source ↗
cliffle.com
https://docs.rs/tokio/latest/src/tokio/sync/mpsc/chan.rs.html
docs.rs
https://docs.rs/tokio/1.37.0/src/tokio/sync/mpsc/chan.rs.html
docs.rs
https://www.youtube.com/watch?v=6AcbHiJtbcM
youtube.com
https://stackoverflow.com/a/10619408/1424454
stackoverflow.com
https://www.reddit.com/r/rust/comments/1azbdb8/comment/ks0huy0/
reddit.com
https://www.reddit.com/r/roguelikedev/comments/i3xekn/ec_vs_ecs_for_roguelikes/?rdt=44855
reddit.com
Must move types Read at the source ↗
smallcultfollowing.com
https://stackoverflow.com/questions/71694803/rust-type-that-requires-manual-drop
stackoverflow.com
https://en.cppreference.com/w/cpp/container/vector/pop_back
en.cppreference.com
https://faultlore.com/blah/linear-rust/
faultlore.com
https://www.hillelwayne.com/post/safety-and-liveness/
hillelwayne.com
https://www.youtube.com/watch?v=wZPOUR3A24k
youtube.com
https://www.modular.com/
modular.com
https://austral-lang.org/
austral-lang.org
https://ziggit.dev/t/what-does-zig-mean-by-no-hidden-control-flow/3618
ziggit.dev
Linklog | What Color is Your Function? Read at the source ↗
journal.stuffwithstuff.com
https://twitter.com/vale_pl
twitter.com
https://www.doc.govt.nz/kakapo-donate
doc.govt.nz
https://github.com/aweagel
github.com
https://github.com/KirilMihaylov
github.com
https://github.com/radekm
github.com
https://github.com/Geomitron
github.com
https://github.com/chiuzon
github.com
https://github.com/soupertonic
github.com
https://github.com/linkmonitor
github.com
https://github.com/lupuchard
github.com
https://github.com/tootoobeepbeep
github.com
https://github.com/albinkc
github.com
https://github.com/ezschemi
github.com
https://github.com/Svintooo
github.com
https://github.com/tstack
github.com
https://github.com/kripken
github.com
https://github.com/rovaughn
github.com
https://github.com/Shnatsel
github.com
https://github.com/linuxy
github.com
https://github.com/Ivo-Balbaert/
github.com
https://github.com/pierrec
github.com
https://github.com/loveJesus
github.com
https://github.com/jryans
github.com
https://github.com/cdinu
github.com
https://github.com/lasernoises
github.com
http://www.gamesurge.com/pc/strategy/pc_wt/Adom.shtml
gamesurge.com
Elsewhere on verdagon.dev (6)