Why I chose Rust

Posted on 2013-08-31
Tagged with rust, pattern-matching, algebraic-data-type

This post is about less-talked-about features of Rust, namely Algebraic Types and Pattern Matching, that I find very interesting and for which I have chosen Rust.

Let’s say you have to build an arithmetic calculator for evaluating expessions like 2 + 2. How would you do that? To simplify the problem a bit, let’s say the calculator only deals with integers and four operators, i.e. plus, minus, multiplication and division.

In C, you might write something like this.

struct Exp {
    enum {
    } type;

    union {
        struct {
            struct Exp* a;
            struct Exp* b;
        } pair;
        int i;
    } val;

int eval(struct Exp* exp) {
    switch (exp->type) {
        case Number: return exp->val.i;
        case Plus: return eval(exp->val.pair.a) + eval(exp->val.pair.b);
        case Minus: return eval(exp->val.pair.a) - eval(exp->val.pair.b);
        case Mult: return eval(exp->val.pair.a) * eval(exp->val.pair.b);
        case Div: return eval(exp->val.pair.a) / eval(exp->val.pair.b);

The complicated looking struct declaration is what’s called a tagged union, where the enum type is used to figure out that the union val is holding. This is the C version of one type of Algebraic Types, the sum type. Another type of Algebraic Types is to use struct to hold multiple types together, which allows the structure to hold even more than each type alone; this one is called the product type.

An intuitive way to think of the two types is that for sum type, the variable of that type can only be of one constituent type at a time, so the total range of values that type can hold is the sum of the ranges of the types. On the other hand, for the product type, for each field in the structure, it can hold any value of that type at any time, so the possible range of values of the structure is the product of each of its field’s range of value.

In Rust, this is what I will write.

enum Exp {
    Plus(~Exp, ~Exp),
    Minus(~Exp, ~Exp),
    Mult(~Exp, ~Exp),
    Div(~Exp, ~Exp),

fn eval(exp: &Exp) -> int {
    match *exp {
        Number(i) => i,
        Plus(a, b) => eval(a) + eval(b),
        Minus(a, b) => eval(a) - eval(b),
        Mult(a, b) => eval(a) * eval(b),
        Div(a, b) => eval(a) / eval(b),

The eval function expects an already parsed expression, so the above 2 + 2 when passed to eval should be in some form like Plus(~Number(2), ~Number(2)). The reason for putting a pointer to another expression inside Plus, Minus, Mult and Div is to allow expressions like (2 + 2) * 3, whose parsed form is Mult(~Plus(~Number(2), ~Number(2)), ~Number(3)).

Here are some strange notations the above Rust code has.

The first thing you might notice is the Rust version of the code is more concise than the C version. An enum in Rust is like a struct, enum and union in C combined, so you don’t have to think about as many features of the language at the same time, and writing out as much code to achieve the same result in Rust.

Moreover, in the Rust version of the eval function, I am using Pattern Matching to deconstruct exp to its correct constituent fields, which is aptly named match expressions. After the opening curly bracket, each line terminated by a comma (,) is called a matching arm. Each of the a and b in each matching arm have scope only in that matching arm, so if I replace Mult(a, b) => ... by Mult(x, y) => ..., using x or y in other matching arms is an unresolved name error.

Let’s take a look back at the C version. Here you have to decide which type of expression exp is holding by switching on exp->type. Afterwards, you still have to use the right field in the union for your code to be correct. The C compiler will do nothing whatsoever to stop you from writing something like this.

switch (exp->type) {
    // ...
    case Plus: eval(exp->val.pair.a) + exp->val.i;
    // ...

In this case, you’re screwed. This coding error will only be detected after some bug hunting at 4am during a crunch.


I hope after reading this post, you will see the point of adding Pattern Matching and Algebraic Type to the feature list of Rust. They not only allow you to write more concise code but also prevent some errors encountered in languages without them. If you like what you see in Rust like I do, please check out its home page for more documentation and tutorials. And if you really like Rust, please consider contributing to it. You can start by looking through the easy bugs, some of which are documenting the code, to familiarize yourself with Rust and then work your way up to harder ones. Happy Hacking!