Lobsters
- Linearity and Control [linear types proposal for Rust] https://blog.yoshuawuyts.com/linearity-and-control/ 3 comments plt , rust
- Linearity and Control - Yoshua Wuyts https://blog.yoshuawuyts.com/linearity-and-control/ 14 comments rust
Linking pages
- Linear Types One-Pager https://blog.yoshuawuyts.com/linear-types-one-pager/ 45 comments
- Tree-Structured Concurrency https://blog.yoshuawuyts.com/tree-structured-concurrency/ 44 comments
- Context Managers: Undroppable Types for Free https://blog.yoshuawuyts.com/achieving-undroppable-types-by-leveraging-context-managers/ 11 comments
- This Week in Rust 488 · This Week in Rust https://this-week-in-rust.org/blog/2023/03/29/this-week-in-rust-488/ 6 comments
Linked pages
- Keyword Generics Progress Report: February 2023 | Inside Rust Blog https://blog.rust-lang.org/inside-rust/2023/02/23/keyword-generics-progress-report-feb-2023.html 310 comments
- "Propositions as Types" by Philip Wadler - YouTube https://www.youtube.com/watch?v=IOiZatlZtGU 154 comments
- Announcing Rust 1.68.0 | Rust Blog https://blog.rust-lang.org/2023/03/09/Rust-1.68.0.html 148 comments
- Baby Steps https://smallcultfollowing.com/babysteps/blog/2023/03/16/must-move-types/ 140 comments
- Async Cancellation I https://blog.yoshuawuyts.com/async-cancellation-1/ 67 comments
- http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 61 comments
- RustConf 2021 - Move Constructors: Is it Possible? by Miguel Young de la Sota - YouTube https://youtu.be/UrDhMWISR3w 54 comments
- Patterns - The Rust Reference https://doc.rust-lang.org/reference/patterns.html#or-patterns 52 comments
- Resource acquisition is initialization - Wikipedia http://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization 37 comments
- Async destructors, async genericity and completion futures - Sabrina Jewson https://sabrinajewson.org/blog/async-drop 33 comments
- Safe Pin Projections Through View Types https://blog.yoshuawuyts.com/safe-pin-projections-through-view-types/ 6 comments
- A formulation for scoped tasks in Rust - Tyler Mandry https://tmandry.gitlab.io/blog/posts/2023-03-01-scoped-tasks/ 6 comments
- GitHub - spacejam/rio: pure rust io_uring library, built on libc, thread & async friendly, misuse resistant https://github.com/spacejam/rio 0 comments
- Substructural type system - Wikipedia https://en.wikipedia.org/wiki/Substructural_type_system 0 comments
Related searches:
Search whole site: site:blog.yoshuawuyts.com
Search title: Linearity and Control
See how to search.