The Monkey language is a language created by Thorsten Ball for his book Writing an Interpreter in Go. It is a dynamically typed language with C-like syntax. It supports integers, booleans, strings, arrays, hashes, and functions. It also has first-class functions, closures, and lexical scope.
Chimpazee is an implementation of the Monkey language in Rust. It is based on the books Writing an Interpreter in Go and Writing a Compiler in Go.
This implementation is still in development. For now an interpreter and a compiler are fully implemented, allowing to run a REPL and to run Monkey files (.monkey extension).
There are some issues that I want to fix before I can call this implementation complete.
To start the REPL, run the following command:
bash
cargo run --release --bin monkey
To run a Monkey file, run the following command:
bash
cargo run --release --bin monkey -- <path-to-file>
You can also test the compiler, parser and lexer in the same way, adding the following flag after the path to the file:
bash
--mode <mode>
Where <mode> can be compiler, parser, lexer or interpreter.
Example:
bash
cargo run --release --bin monkey -- <path-to-file> --mode compiler
A monkey formatter is also available, with the binary monkeyfmt. I will format any correct piece of monkey code.
To use it you only need to run the following command:
bash
cargo run --release --bin monkeyfmt -- <path-to-file>
Adding the -r flag after the file name will replace the contents of the file with the
formatted code. If the flag is not activated, the formatted code will be printed to
stdout.
To see the help, run the following command:
bash
cargo run --release --bin monkey -- --help
The monkey language supports the following types:
Integers are 64-bit signed integers. They are written as follows:
monkey
let a = 1;
let b = 2;
Integers support the following operators:
+: addition-: subtraction*: multiplication/: division (integer division)==: equality!=: inequality<: less than>: greater than<=: less than or equal to>=: greater than or equal toBooleans are either true or false. They are written as follows:
monkey
let a = true;
let b = false;
Booleans support the following operators:
==: equality!=: inequality!: negation&&: and||: orStrings are sequences of characters. They are written as follows:
monkey
let a = "Hello, world!";
Strings can be interpolated using the + operator. The following example shows how to interpolate a string:
monkey
let a = "Hello " + "world!";
Strings have the following built-in functions:
len(): returns the length of the stringArrays are sequences of values. They are written as follows:
monkey
let a = [1, "two", [1,2,3]];
They can contain any type of value, including other arrays and functions.
Arrays can be indexed using the [] operator. The index must be an integer. The index starts at 0. The following example shows how to index an array:
monkey
let a = [1,2,3];
let b = a[0]; // b = 1
Arrays have the following built-in functions:
len(array): returns the length of the arrayfirst(array): returns the first element of the arraylast(array): returns the last element of the arrayrest(array): returns a new array containing all elements except the firstpush(array, value): returns a new array containing all elements of the original array and the new value (at the end)Hashes are key-value pairs. They are written as follows:
monkey
let a = {"one": 1, "two": 2};
The keys can be: Integer , Boolean or String. The values can be any type of value, including other hashes and functions.
Hashes can be indexed using the [] operator. The index must be a key. The following example shows how to index a hash:
monkey
let a = {"one": 1, "two": 2};
let b = a["one"]; // b = 1
For now hashes have no built-in functions. In the future the following built-in functions will be supported:
keys(hash): returns an array containing all keys of the hashvalues(hash): returns an array containing all values of the hashadd(hash, key, value): returns a new hash containing all key-value pairs of the original hash and the new key-value pairThe function syntax is as follows:
monkey
let add = fn(a, b) {
return a + b;
};
Functions are first-class citizens in Monkey. This means that they can be assigned to variables, passed as arguments to other functions, and returned from other functions. One example is the map function:
monkey
let map = fn(arr, f) {
let iter = fn(arr, accumulated) {
if (len(arr) == 0) {
accumulated
} else {
iter(rest(arr), push(accumulated, f(first(arr))));
}
};
iter(arr, []);
};
let a = [1, 2, 3, 4];
let double = fn(x) { x * 2 };
map(a, double);
Functions can return a value using the return keyword. The following example shows how to return a value from a function:
monkey
let add = fn(a, b) {
return a + b;
};
Note that the return keyword is optional, Monkey allows implicit returns. The following example shows how to use an implicit return:
monkey
let add = fn(a, b) {
a + b;
};
Variables are declared using the let keyword. The following example shows how to declare a variable:
monkey
let a = 1;
Shadowing is supported. The following example shows how to shadow a variable:
monkey
let a = 1;
let a = 2;
The if-else syntax is as follows:
```monkey
if (condition) { // code } else { // code } ```
The following example shows how to use if-else:
monkey
let a = 1;
if (a == 1) {
return "a is 1";
} else {
return "a is not 1";
}
For now loops are not supported. To achieve the same result as a loop, use recursion. In the future loops might be supported.
For now comments are not supported ( not a huge loss :) )
Monkey has the following built-in functions:
puts(value): prints the value to the consolelen(value)first(array)last(array)rest(array)push(array, value)