In the previous post I’ve explained what discriminated unions are in the TypeScript language. We’ll now look into a classic example of how this concept can be applied to a real-world scenario - building an interpreter.

## Abstract Syntax Tree

By interpreter I mean a program that can execute source code of another program written in a different programming language. For example, JavaScript, PHP or Python are interpreted languages - you need an interpreter to run them. We will look into building an interpreter for a very simple language - algebraic expressions, such as:

When building an interpreter (or a compiler) you need to build some data structures that represent the source code. These data structures form something called Abstract Syntax Tree (AST). It’s a tree-like structure because the source code usually involves lots of nesting. The AST of our example algebraic expression would look like this: You can see that the tree structure corresponds to the order in which mathematical operations are applied. For example, `3 / 6` should be calculated first and that’s why it’s low in the tree. The multiplication will be evaluated at the very end and hence it’s the tree’s root. Discriminated unions are perfect for representing such a tree. Our AST has different kinds of nodes:

• binary operators - addition, subtraction, multiplication and division
• unary operators - negation
• numerical values

Let’s create some types that correspond to these kinds.

We’ve created the `ExpressionNode` discriminated union. It’s a union of three node kinds:

• `NumberNode` is the simplest type - it contains a numerical value
• `BinaryOperatorNode` represents an operation on two expressions; the `operator` field determines what kind of operations it is; `left` and `right` fields contain arguments of the operation
• `UnaryOperatorNode` is like `BinaryOperatorNode` but only contains a single argument

Interestingly, these types are recursive in a way. For example, `UnaryOperatorNode` has `inner` property which can be any `ExpressionNode` - indeed, we can negate a number, but also a much more complex expression wrapped in parenthesis.

## Evaluating the AST

Now we have data structures in place there are only two questions left:

• How to create an AST from the source code? This is actually a task for a parser. Parsers are beyond the scope of this article. Interestingly, you can generate a parser using Jison or some other tool.
• How to evaluate the AST? Let’s look into this.

We’ve already seen how to consume discriminated unions with a `switch` statement. This is no different here with the exception that since our types are recursive, the evaluation function will be recursive as well.

The `evaluate` function takes an `ExpressionNode` object and evaluates it to a number. First, we check for an instance of `NumberNode` in which case the expression will simply evaluate to the value held by the object.

For `UnaryOperatorNode` we need to evaluate the value of the nested expression first. That’s why we make a recursive call to `evaluate` itself. Once this is done we either negate or simply return it as it is.

`BinaryOperatorNode` has two nested expression - `left` and `right` - so we need to evaluate both of them. Next, we use the relevant mathematical operation on them to calculate the final value. Here is the full source code of the `evaluate` function:

Finally, we need an object instance for testing. Here is the `(42 + 5) * -12` expression represented as an AST:

Now we can test our `evaluate` function:

Voila, we’ve just finished our first interpreter written in TypeScript using discriminated unions.

## Summary

In this article, we’ve looked into taking advantage of discriminated unions in a non-trivial, real-world scenario - implementing a language interpreter. It’s easy to imagine how the types used to build an AST can be much more complex. For a real programming language, we would have to create types for statements, method calls, function declarations, etc. However, the principle would be roughly the same.

Did you like this TypeScript article? I bet you'll also like my book!