Introduction to Type-Driven Development with Rust

The aim of this blog post is to examine type-driven development with Rust. Type-driven development is an approach to develop robust and… Read more


Abstracting over mutability in Rust

It is common to see the statement that “Rust cannot abstract over mutability”. Indeed, many functions in the standard library have an immutable and a mutable variant, e.g. RefCell::borrow() and RefCell::borrow_mut(). However, in some cases, such as...

Read more »