What is an effect system? According to Wikipedia, it is a formal system that describes the computational effects of computer programs, such as side effects. It is also an extension of a type system, and allows you to statically verify that your program is sound with regard to effects.
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
Pretty State Machine Patterns in Rust
A computer scientist working in open source towards a more hopeful future.
The Rust Platform · Aaron Turon
A programming language is much more than its compiler and standard library. It’s a community. Tools. Documentation. An ecosystem. All of these elements affect how a language feels, its productivity, and its applicability.
lambek - Rust
Lambek is a library that enables type-level programming in stable Rust, supporting advanced features including higher kinded types, higher ranked types, and constraint kinds. Although Rust do not natively support these features, Lambek uses techniques including defunctionalization and CPS transformation to emulate these features in Rust.
Rust for Java developers
Introduction to the Rust programming language for java developers, (complete with code sampes) with a focus on shared concepts.
Rust traits and dependency injection - Julio Merino (jmmv.dev)
Dependency injection is one of my favorite design patterns to develop highly-testable and modular code. Unfortunately, applying this pattern by taking Rust traits as arguments to public functions has …
Rust and the Three Laws of Informatics
Rust and the Three Laws of Informatics After 10 years in the Java world, I have recently been looking at Rust more seriously. I am barely beginning Rust programming, yet I feel enthusiastic: I …
ABSD
An experimental operating system in Rust: isolated processes, explicit authority, and claims stated at the strength of their evidence. Source is public.
Be alert: targeted attacks on prominent Rustaceans | Rust Blog
Empowering everyone to build reliable and efficient software.
The Evolution of a Rust Programmer
364 votes, 71 comments. 426K subscribers in the rust community. A place for all things related to the Rust programming language—an open-source…
Help Wanted: Research Questions in Rust - Aaron Turon - OPLSS 2018
xymostech/XymosTeX
A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
Why Use Structured Errors in Rust Applications?
Going against the common wisdom of “using anyhow for applications”.
Rust Programming Language
A language empowering everyone to build reliable and efficient software.
Learning Rust
Learning Rust - Rust Programming Language Tutorials for Everyone!
Introduction - Rust By Example
Rust by Example (RBE) is a collection of runnable examples that illustrate various Rust concepts and standard libraries.