“This module translates C to Rust”

This is a “Literate Haskell” source file. It is meant to be read as
documentation but it’s also compilable source code. The text is
formatted using Markdown so GitHub can render it nicely.


Implementing a Type-safe printf in Rust

I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf argument... (more…)

Read more »

A half-hour to learn Rust

In order to increase fluency in a programming language, one has to read a lot of it. But how can you read a lot of it if you don't know what it means? In this article, instead o... (more…)

Read more »