This article is the first of a series on the implementation of the Forth programming language.

First invented in 1970, Forth has had a long life in several application domains: Space, embedded systems, and even in the FreeBSD bootloader. Now, what makes Forth distinctive? Well, in opposition to more popular programming languages, Forth has an execution model that is deeply linked to its syntax.

Forth operates on a stack, which makes it “stack-oriented”. Influenced by Lisp, its operator syntax uses what is called “reversed Polish notation” (RPN): The operator is marked after the operands.

An example Forth program is the following:

1 2 +

And here you have it: The classic one-plus-two addition. But Forth is not simply an RPN language, and you would be mistaken to think it only boils down to syntax.

Another example is:

: addThousand 1000 + ; \ define the word `addThousand` as a function that
                         \ adds its operand and 1000
10 addThousand         \ 1010
20                     \ push 20 on top the stack
+                      \ add 1010 and 20, giving us 1030
dup                    \ duplicate this value on the stack,
                        \which now contains [1030, 1030]
over                   \ copy the second element from the top of the
                         \ stack to the top of the stack, giving us a
                         \stack containing [1030, 1030, 1030]

This simplicity has the advantage of not needing parser combinators such as the Mighty Megaparsec (or its venerable ancestor, Parsec). This also has the advantage of allowing us to know the content of the stack when you encounter a binary (or dyadic) operator (An operator that has two arguments: addition, subtraction, etc). With this knowledge, we can raise a “Stack Underflow” error if we already know that the stack’s size is less than two, and we can stop consumming the input buffer.

This point of detail might seem useless, but Forth being used and run on extremely constrained hardware, it can greatly simplify the implementation code.

Throughout this tutorial, I will indicate the top of the stack with the convenient <- Top marker.
I would also like to express my gratitude to Nick Morgan with his Easyforth, as well as Richard W.M. Jones' own take on describing the implementation of a Forth system.
If some examples and wording in this series sound similar, it is only because I can only copy the master. :)

This series of article will focus on the implementation of a minimal Forth interpreter. Additionally, I took advantage of the situation to learn how to use some less naïve functional programming techniques, in an incremental way.

  • In parts 01 and 02, we implement a state machine that processes the Forth instructions in a very simple way;
  • In parts 03 and 04, the state machine will be refactored into using Monad Tranformers through the MTL style, adding IO capabilities to what started as a set of pure functions;
  • Finally, part 05 will focus on adding new Forth constructs, and allowing the programmer to define their own words (variables or functions).

See you in the next part, in which we will see how to implement some of the most common operations on the Forth stack.