In this post, we'll implement a simple stack based calculator (also known as "reverse Polish" style). The implementation is almost entirely done with functions, with only one special type and no pattern matching at all, so it is a great testing ground for the concepts introduced in this series.
If you are not familiar with a stack based calculator, it works as follows: numbers are pushed on a stack, and operations such as addition and multiplication pop numbers off the stack and push the result back on.
Here is a diagram showing a simple calculation using a stack:
The first steps to designing a system like this is to think about how it would be used. Following a Forth like syntax, we will give each action a label, so that the example above might want to be written something like:
EMPTY ONE THREE ADD TWO MUL SHOW
We might not be able to get this exact syntax, but letís see how close we can get.
First we need to define the data structure for a stack. To keep things simple, weíll just use a list of floats.
type Stack = float list
But, hold on, let's wrap it in a single case union type to make it more descriptive, like this:
type Stack = StackContents of float list
For more details on why this is nicer, read the discussion of single case union types in this post.
Now, to create a new stack, we use
StackContents as a constructor:
let newStack = StackContents [1.0;2.0;3.0]
And to extract the contents of an existing Stack, we pattern match with
let (StackContents contents) = newStack // "contents" value set to // float list = [1.0; 2.0; 3.0]
Next we need a way to push numbers on to the stack. This will be simply be prepending the new value at the front of the list using the "
Here is our push function:
let push x aStack = let (StackContents contents) = aStack let newContents = x::contents StackContents newContents
This basic function has a number of things worth discussing.
First, note that the list structure is immutable, so the function must accept an existing stack and return a new stack. It cannot just alter the existing stack. In fact, all of the functions in this example will have a similar format like this:
Input: a Stack plus other parameters Output: a new Stack
Next, what should the order of the parameters be? Should the stack parameter come first or last? If you remember the discussion of designing functions for partial application, you will remember that the most changeable thing should come last. Youíll see shortly that this guideline will be born out.
Finally, the function can be made more concise by using pattern matching in the function parameter itself, rather than using a
let in the body of the function.
Here is the rewritten version:
let push x (StackContents contents) = StackContents (x::contents)
And by the way, look at the nice signature it has:
val push : float -> Stack -> Stack
As we know from a previous post, the signature tells you a lot about the function. In this case, I could probably guess what it did from the signature alone, even without knowing that the name of the function was "push". This is one of the reasons why it is a good idea to have explicit type names. If the stack type had just been a list of floats, it wouldn't have been as self-documenting.
Anyway, now let's test it:
let emptyStack = StackContents  let stackWith1 = push 1.0 emptyStack let stackWith2 = push 2.0 stackWith1
With this simple function in place, we can easily define an operation that pushes a particular number onto the stack.
let ONE stack = push 1.0 stack let TWO stack = push 2.0 stack
But wait a minute! Can you see that the
stack parameter is used on both sides? In fact, we donít need to mention it at all. Instead we can skip the
stack parameter and write the functions using partial application as follows:
let ONE = push 1.0 let TWO = push 2.0 let THREE = push 3.0 let FOUR = push 4.0 let FIVE = push 5.0
Now you can see that if the parameters for
push were in a different order, we wouldnít have been able to do this.
While we're at it, let's define a function that creates an empty stack as well:
let EMPTY = StackContents 
Letís test all of these now:
let stackWith1 = ONE EMPTY let stackWith2 = TWO stackWith1 let stackWith3 = THREE stackWith2
These intermediate stacks are annoying ó can we get rid of them? Yes! Note that these functions ONE, TWO, THREE all have the same signature:
Stack -> Stack
This means that they can be chained together nicely! The output of one can be fed into the input of the next, as shown below:
let result123 = EMPTY |> ONE |> TWO |> THREE let result312 = EMPTY |> THREE |> ONE |> TWO
That takes care of pushing onto the stack ó what about a
pop function next?
When we pop the stack, we will return the top of the stack, obviously, but is that all?
In an object-oriented style, the answer is yes. In an OO approach, we would mutate the stack itself behind the scenes, so that the top element was removed.
But in a functional style, the stack is immutable. The only way to remove the top element is to create a new stack with the element removed. In order for the caller to have access to this new diminished stack, it needs to be returned along with the top element itself.
In other words, the
pop function will have to return two values, the top plus the new stack. The easiest way to do this in F# is just to use a tuple.
Here's the implementation:
/// Pop a value from the stack and return it /// and the new stack as a tuple let pop (StackContents contents) = match contents with | top::rest -> let newStack = StackContents rest (top,newStack)
This function is also very straightforward.
As before, we are extracting the
contents directly in the parameter.
We then use a
match..with expression to test the contents.
Next, we separate the top element from the rest, create a new stack from the remaining elements and finally return the pair as a tuple.
Try the code above and see what happens. You will get a compiler error! The compiler has caught a case we have overlooked -- what happens if the stack is empty?
So now we have to decide how to handle this.
Generally, I prefer to use error cases, but in this case, we'll use an exception. So here's the
pop code changed to handle the empty case:
/// Pop a value from the stack and return it /// and the new stack as a tuple let pop (StackContents contents) = match contents with | top::rest -> let newStack = StackContents rest (top,newStack) |  -> failwith "Stack underflow"
Now let's test it:
let initialStack = EMPTY |> ONE |> TWO let popped1, poppedStack = pop initialStack let popped2, poppedStack2 = pop poppedStack
and to test the underflow:
let _ = pop EMPTY
Now with both push and pop in place, we can work on the "add" and "multiply" functions:
let ADD stack = let x,s = pop stack //pop the top of the stack let y,s2 = pop s //pop the result stack let result = x + y //do the math push result s2 //push back on the doubly-popped stack let MUL stack = let x,s = pop stack //pop the top of the stack let y,s2 = pop s //pop the result stack let result = x * y //do the math push result s2 //push back on the doubly-popped stack
Test these interactively:
let add1and2 = EMPTY |> ONE |> TWO |> ADD let add2and3 = EMPTY |> TWO |> THREE |> ADD let mult2and3 = EMPTY |> TWO |> THREE |> MUL
It is obvious that there is significant duplicate code between these two functions. How can we refactor?
Both functions pop two values from the stack, apply some sort of binary function, and then push the result back on the stack. This leads us to refactor out the common code into a "binary" function that takes a two parameter math function as a parameter:
let binary mathFn stack = // pop the top of the stack let y,stack' = pop stack // pop the top of the stack again let x,stack'' = pop stack' // do the math let z = mathFn x y // push the result value back on the doubly-popped stack push z stack''
Note that in this implementation, I've switched to using ticks to represent changed states of the "same" object, rather than numeric suffixes. Numeric suffixes can easily get quite confusing.
Question: why are the parameters in the order they are, instead of
mathFn being after
Now that we have
binary, we can define ADD and friends more simply:
Here's a first attempt at ADD using the new
let ADD aStack = binary (fun x y -> x + y) aStack
But we can eliminate the lambda, as it is exactly the definition of the built-in
+ function! Which gives us:
let ADD aStack = binary (+) aStack
And again, we can use partial application to hide the stack parameter. Here's the final definition:
let ADD = binary (+)
And here's the definition of some other math functions:
let SUB = binary (-) let MUL = binary (*) let DIV = binary (/)
Let's test interactively again.
let div2by3 = EMPTY |> THREE|> TWO |> DIV let sub2from5 = EMPTY |> TWO |> FIVE |> SUB let add1and2thenSub3 = EMPTY |> ONE |> TWO |> ADD |> THREE |> SUB
In a similar fashion, we can create a helper function for unary functions
let unary f stack = let x,stack' = pop stack //pop the top of the stack push (f x) stack' //push the function value on the stack
And then define some unary functions:
let NEG = unary (fun x -> -x) let SQUARE = unary (fun x -> x * x)
Test interactively again:
let neg3 = EMPTY |> THREE|> NEG let square2 = EMPTY |> TWO |> SQUARE
In the original requirements, we mentioned that we wanted to be able to show the results, so letís define a SHOW function.
let SHOW stack = let x,_ = pop stack printfn "The answer is %f" x stack // keep going with same stack
Note that in this case, we pop the original stack but ignore the diminished version. The final result of the function is the original stack, as if it had never been popped.
So now finally, we can write the code example from the original requirements
EMPTY |> ONE |> THREE |> ADD |> TWO |> MUL |> SHOW
This is fun -- what else can we do?
Well, we can define a few more core helper functions:
/// Duplicate the top value on the stack let DUP stack = // get the top of the stack let x,_ = pop stack // push it onto the stack again push x stack /// Swap the top two values let SWAP stack = let x,s = pop stack let y,s' = pop s push y (push x s') /// Make an obvious starting point let START = EMPTY
And with these additional functions in place, we can write some nice examples:
START |> ONE |> TWO |> SHOW START |> ONE |> TWO |> ADD |> SHOW |> THREE |> ADD |> SHOW START |> THREE |> DUP |> DUP |> MUL |> MUL // 27 START |> ONE |> TWO |> ADD |> SHOW // 3 |> THREE |> MUL |> SHOW // 9 |> TWO |> SWAP |> DIV |> SHOW // 9 div 2 = 4.5
But that's not all. In fact, there is another very interesting way to think about these functions.
As I pointed out earlier, they all have an identical signature:
Stack -> Stack
So, because the input and output types are the same, these functions can be composed using the composition operator
>>, not just chained together with pipes.
Here are some examples:
// define a new function let ONE_TWO_ADD = ONE >> TWO >> ADD // test it START |> ONE_TWO_ADD |> SHOW // define a new function let SQUARE = DUP >> MUL // test it START |> TWO |> SQUARE |> SHOW // define a new function let CUBE = DUP >> DUP >> MUL >> MUL // test it START |> THREE |> CUBE |> SHOW // define a new function let SUM_NUMBERS_UPTO = DUP // n, n 2 items on stack >> ONE // n, n, 1 3 items on stack >> ADD // n, (n+1) 2 items on stack >> MUL // n(n+1) 1 item on stack >> TWO // n(n+1), 2 2 items on stack >> DIV // n(n+1)/2 1 item on stack // test it with sum of numbers up to 9 START |> THREE |> SQUARE |> SUM_NUMBERS_UPTO |> SHOW // 45
In each of these cases, a new function is defined by composing other functions together to make a new one. This is a good example of the "combinator" approach to building up functionality.
We have now seen two different ways that this stack based model can be used; by piping or by composition. So what is the difference? And why would we prefer one way over another?
The difference is that piping is, in a sense, a "realtime transformation" operation. When you use piping you are actually doing the operations right now, passing a particular stack around.
On the other hand, composition is a kind of "plan" for what you want to do, building an overall function from a set of parts, but not actually running it yet.
So for example, I can create a "plan" for how to square a number by combining smaller operations:
let COMPOSED_SQUARE = DUP >> MUL
I cannot do the equivalent with the piping approach.
let PIPED_SQUARE = DUP |> MUL
This causes a compilation error. I have to have some sort of concrete stack instance to make it work:
let stackWith2 = EMPTY |> TWO let twoSquared = stackWith2 |> DUP |> MUL
And even then, I only get the answer for this particular input, not a plan for all possible inputs, as in the COMPOSED_SQUARE example.
The other way to create a "plan" is to explicitly pass in a lambda to a more primitive function, as we saw near the beginning:
let LAMBDA_SQUARE = unary (fun x -> x * x)
This is much more explicit (and is likely to be faster) but loses all the benefits and clarity of the composition approach.
So, in general, go for the composition approach if you can!
Here's the complete code for all the examples so far.
// ============================================== // Types // ============================================== type Stack = StackContents of float list // ============================================== // Stack primitives // ============================================== /// Push a value on the stack let push x (StackContents contents) = StackContents (x::contents) /// Pop a value from the stack and return it /// and the new stack as a tuple let pop (StackContents contents) = match contents with | top::rest -> let newStack = StackContents rest (top,newStack) |  -> failwith "Stack underflow" // ============================================== // Operator core // ============================================== // pop the top two elements // do a binary operation on them // push the result let binary mathFn stack = let y,stack' = pop stack let x,stack'' = pop stack' let z = mathFn x y push z stack'' // pop the top element // do a unary operation on it // push the result let unary f stack = let x,stack' = pop stack push (f x) stack' // ============================================== // Other core // ============================================== /// Pop and show the top value on the stack let SHOW stack = let x,_ = pop stack printfn "The answer is %f" x stack // keep going with same stack /// Duplicate the top value on the stack let DUP stack = let x,s = pop stack push x (push x s) /// Swap the top two values let SWAP stack = let x,s = pop stack let y,s' = pop s push y (push x s') /// Drop the top value on the stack let DROP stack = let _,s = pop stack //pop the top of the stack s //return the rest // ============================================== // Words based on primitives // ============================================== // Constants // ------------------------------- let EMPTY = StackContents  let START = EMPTY // Numbers // ------------------------------- let ONE = push 1.0 let TWO = push 2.0 let THREE = push 3.0 let FOUR = push 4.0 let FIVE = push 5.0 // Math functions // ------------------------------- let ADD = binary (+) let SUB = binary (-) let MUL = binary (*) let DIV = binary (/) let NEG = unary (fun x -> -x) // ============================================== // Words based on composition // ============================================== let SQUARE = DUP >> MUL let CUBE = DUP >> DUP >> MUL >> MUL let SUM_NUMBERS_UPTO = DUP // n, n 2 items on stack >> ONE // n, n, 1 3 items on stack >> ADD // n, (n+1) 2 items on stack >> MUL // n(n+1) 1 item on stack >> TWO // n(n+1), 2 2 items on stack >> DIV // n(n+1)/2 1 item on stack
So there we have it, a simple stack based calculator. We've seen how we can start with a few primitive operations (
unary) and from them, build up a whole domain specific language that is both easy to implement and easy to use.
As you might guess, this example is based heavily on the Forth language. I highly recommend the free book "Thinking Forth", which is not just about the Forth language, but about (non object-oriented!) problem decomposition techniques which are equally applicable to functional programming.
I got the idea for this post from a great blog by Ashley Feniello. If you want to go deeper into emulating a stack based language in F#, start there. Have fun!