Why you should, actually, rewrite it in Rust

You might have seen those obnoxious “you should rewrite it in Rust comments” here and there: in a blogpost in a Github issue you might have heard about that Rust Evangelism Strike Force… Read more

Similar

Boxes and Trees – Smart Pointers in Rust

Recently, I tried to implement a binary tree data structure in Rust.Each binary tree has a root value, a left, and a right subtree.I started from this Python implementation, which is quite straightforward.class Tree: def __init__(self, val, left=None, ri... (more…)

Read more »

The Pain of Real Linear Types in Rust

For whatever reason "linear" types in Rust came up at work today, at which point I made my usual assertion that they're a nightmare, because they don't compose well. I tried to explain it off the top of my head, but I figured it's best for me to just writ... (more…)

Read more »

Putting the Rust in Trust

After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.

Read more »

A Practical Intro to Macros in Rust

One feature of Rust that I'm rather enamoured with is its macro system. Known as "macro by example" (MBE) or sometimes referred to as macro_rules, it provides you with an impressive amount of power whilst not allowing for the sort of evil tricks you can ... (more…)

Read more »