Corroded: Rust Utilities for Bypassing Language Safety Features
By
csmantle
Kettled twice. Extra chewy, extra trustworthy.
Summary
The article describes 'corroded', a GitHub project that provides utilities to bypass or work around Rust programming language's strict safety features like ownership and borrowing rules. The project humorously frames Rust's compiler as overly restrictive and paternalistic, and offers tools to make Rust development easier by circumventing these safety mechanisms. It also mentions 'Rust--', a modified Rust compiler that removes the borrow checker entirely.
Key quotes
· 4 pulledWe used to tell compilers what to do. Now they lecture us about 'lifetimes' and 'ownership.' Time to write code the way God intended.
The rust compiler has some quirks that make it hard to use. It won't let you have two pointers to the same thing although its perfectly safe. It treats you like a mass of incompetence that can't be trusted with a pointer.
This project is a set of utilities consisting of idiomatic and safe rust utilities that make lives of Rust developers easy.
Or, go nuclear: see Rust--, a Rust compiler with the borrow checker removed.
You might also wanna read
Dynamic Borrow-Checking in a Toy Programming Language: Implementing Rust-like Memory Safety Without Static Types
This article presents a demonstration of a toy programming language that implements borrow-checking without static type-checking. The langua
scattered-thoughts.net·1mo ago
C++26 Standard Draft Finalized with Reflection, Memory Safety, Contracts, and New Concurrency Framework
The C++26 standard draft has been completed, introducing major new features including reflection capabilities that allow C++ to describe its
infoq.com·1mo agoUnderstanding Fil-C: A Simplified Model of Memory-Safe C/C++ Implementation
The article presents a simplified model of Fil-C, a memory-safe implementation of C/C++. It explains that while the real Fil-C uses a compil
Sky: An Experimental Elm-Inspired Programming Language That Compiles to Go
Sky is an experimental programming language that combines Go's pragmatism with Elm's elegance to create a fullstack functional programming l
github.com·1mo ago
Analyzing Rust's Coherence and Orphan Rules: Ecosystem Development Challenges and Proposed Solutions
This article critiques Rust programming language's coherence rules and orphan rules, which prevent implementing traits for types defined in
boxyuwu.blog·2mo ago
SBCL Fibers: Implementation Design for Lightweight Cooperative Threads
This is a draft design document describing the implementation of lightweight userland cooperative threads (called 'fibers') for SBCL (Steel
atgreen.github.io·2mo ago