Without Boats is a blog or publication authored by a software developer or technology enthusiast who shares thoughts, opinions, and insights on programming languages, software development practices, and technology trends. Through articles, essays, and commentary, Without Boats offers a critical and reflective perspective on topics such as programming language design, software architecture, and the philosophy of technology. Readers can engage with  ideas and discussions that challenge conventional wisdom and inspire deeper reflection on the craft of software engineering.

Without boats, dreams dry up

This post explains how substructural type theory is applied in programming language design, focusing on the concept of 'ownership' as seen in Rust. It discusses how type systems uphold safety and liveness properties, categorizes types based on structural rules, and elaborates on affine and linear types. It highlights Rust's current implementation nuances and suggests potential improvements such as the inclusion of linear types and the removal of the E0509 error. Shared ownership and references are also covered, detailing their implications for memory safety and aliasing.

Ownership