When to Use Memory Safe Languages, Part 1: Safety in Non-Memory-Safe Languages

from blog Languages and Architecture, | ↗ original
Part 1 of the Memory Safety Expedition Oct 8, 2022 — A few weeks ago, I was asked four questions all on the same day: "When would we use C-like languages?" "What language should I use for my game?" "Why don't more people use Rust for web servers?" "What are the benefits of borrow...
This is a short summary. ↗ Open original to view full content

Related

Type Systems for Memory Safety
Fernando Borretti | original ↗
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
Languages and Architecture | original ↗
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
Languages and Architecture | original ↗
Chasing the Myth of Zero-Overhead Memory Safety (plus pictures of mythical birds!)
Languages and Architecture | original ↗
How Memory Safety Approaches Speed Up and Slow Down Development Velocity
Languages and Architecture | original ↗
Implementing a New Memory Safety Approach, Part 1
Languages and Architecture | original ↗
Zero-Cost Memory Safety with Vale Regions (Preview)
Languages and Architecture | original ↗
Memory Safety is a Red Herring
Steve Klabnik | original ↗
Zig, Rust, and other languages
Notes on software development | original ↗
Why Rust and Its Memory Safety Lulls Developers Into a False Sense of Security, Leading to More Serious Bugs
The Angry Dev | original ↗

More from Languages and Architecture

Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness
17 Jun 2024 | original ↗

Committing language interop sins for science June 17, 2024  —  Anyone trying to make a new mainstream language is completely insane, unless they're backed by a huge corporation.

Exploring Seamless Rust Interop for Newer Languages, Part 1
24 May 2024 | original ↗

Committing language interop sins for science May 24, 2024  —  Languages like C++, Typescript, Kotlin, and Swift had a brilliant approach: they were created to harness an existing ecosystem of libraries from another pre-existing language. But that's easier said than done!...

Higher RAII, and the Seven Arcane Uses of Linear Types
14 May 2024 | original ↗

Linear types + whitelisted destroyers = powers yet unimagined! May 14, 2024  —  Also posted today: Layer-wise inferencing + batching: Small VRAM doesn't limit LLM throughput anymore, on how even a normal small computer can now run...

Layer-wise inferencing + batching: Small VRAM doesn't limit LLM throughput anymore
14 May 2024 | original ↗

Also posted today: Higher RAII, and the Seven Arcane Uses of Linear Types, about how linear types let us control the future! Currently, the general consensus is that you can't really run larger LLMs on ordinary computers.

Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches
24 Apr 2024 | original ↗

The Memory Safety Grimoire, Part 1 April 24, 2024  —  A fellow named Zeke came into my server one day. Zeke: "Wait, so with generational references, we now have four ways to do memory safety?" Evan: "In fact, there are fourteen by my count....