There comes a time in the life of a serious software engineer when he wants to implement a custom programming language. Not with the goal of creating a language that gains widespread adoption (there are enough programming languages already), but as an exercise to gain deeper insight into how programming languages work.
My time came when I stumbled upon the Make a Lisp project which contains detailed instructions on how to write your own Lisp language. I ended up using that project as a guide, but not following their conventions strictly, instead coming up with a totally custom Lisp-like language. I wrote the interpreter in PHP and named it MadLisp.
Lisp is an ancient family of programming languages which dates back to 1958. My previous experience with Lisp has been mostly with Emacs Lisp which is used to configure the Emacs text editor which I use for software development. I have also played around a little with Clojure but it never really took off for me. It is a great language, but I am not a big fan of the Java ecosystem which it runs on.
I like Lisp because the syntax is simple and minimalistic. It encourages (or even enforces) the functional programming paradigm. A Lisp program is basically just a collection of lists and functions which manipulate those lists. Usually simple and generic functions are created first, and then other functions composed of those simpler functions, gradually increasing in complexity. Data is immutable by default. Recursion is preferred instead of explicit loops.
Another feature of Lisp languages is that they are fun to use with a REPL which stands for a Read-Eval-Print-Loop. The REPL is an interactive command prompt where statements can be typed and evaluated one by one. It is a great tool for exploratory programming. The Read, Eval and Print functions are the core of a Lisp interpreter:
A Lisp program is composed of S-expressions. Whenever the Eval function encounters a list, the first item of that list is treated as a function and the remaining items as arguments to that function. The function is then called and the result is returned.
In the following examples the
> denotes the REPL prompt. Calculating the sum of two numbers work like this:
> (+ 2 3) 5
This is in contrast to many common languages where the syntax would be
2 + 3. Note that
+ is just an ordinary function, not an operator.
We can skip evaluation using the
' (single quote) symbol as a prefix. So by quoting a list, we can return it directly without evaluation.
> '(1 2 3) (1 2 3)
Trying to evaluate a list where the first item does not correspond to a function will result in an error:
> (1 2 3) error: eval: first item of list is not function
New symbols can be defined in the current environment using the special form
def. Functions can be defined using the special form
fn. For example, a function to multiply a number by itself could be defined like this:
(def a2 (fn (a) (* a a)))
And used like this:
> (a2 5) 25
Or like this, utilizing the MapReduce algorithm:
> (reduce + (map a2 '(1 2 3 4 5))) 55
For more examples, please check out the MadLisp repository.
This has been a very fun project for me. Now I have a working language which is perfectly suitable for scripting and small tasks like that. If you wish to embark on this journey of writing your own language, remember that it should be about having fun and about learning how programming languages work. Don't worry about adoption, in fact assume no-one else will use it. Don't worry about performance too much. Of course it needs to run somewhat fast in order to be usable, but you are probably not going to write any performance-critical applications in it. For that we already have C, Go and others.