2014-04-16 16:39:24 +00:00
|
|
|
# Ginger
|
|
|
|
|
|
|
|
A lisp-like language built on the go programming language. The ideas are still a
|
|
|
|
work-in-progress, and this repo is where I'm jotting down my notes.
|
|
|
|
|
2014-10-01 21:52:13 +00:00
|
|
|
# Goals
|
|
|
|
|
|
|
|
I have some immediate goals I'm trying to achieve with this syntax:
|
|
|
|
|
|
|
|
* Everything is strings (except numbers, functions, and data structures). There
|
|
|
|
is no symbol type, atom type, keyword type, etc... they're all just strings.
|
|
|
|
|
|
|
|
* There is no `defmacro`. Macro creation and usage is simply an inherent feature
|
|
|
|
of the language syntax.
|
|
|
|
|
2014-04-16 16:39:24 +00:00
|
|
|
# Walkthrough
|
|
|
|
|
|
|
|
This is a number which evalutates to 5:
|
|
|
|
|
|
|
|
```
|
|
|
|
5
|
|
|
|
```
|
|
|
|
|
2014-10-02 15:24:52 +00:00
|
|
|
This is a string, it can contain anything:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
|
|
|
"! I'm the king of the world !"
|
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
This is a list. It evaluates to a linked-list of four strings:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
("a" "b" "c" "d")
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
This is a vector of those same elements. It's like a list, but has some slightly
|
|
|
|
different properties. We'll mostly be using lists:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
["a" "b" "c" "d"]
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
This is a string
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
"+"
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-02 15:24:52 +00:00
|
|
|
`:` is the evaluator. A string beginning with `:` is evaluated to whatever it
|
|
|
|
references. This evaluates to a function which adds its arguments:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
":+"
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
This evaluates to list whose elements are a function and two numbers:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
(":+" 1 2)
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-02 15:24:52 +00:00
|
|
|
A list prefixed with a `:` calls the first element as a function with the rest
|
|
|
|
of the elements as arguments. This evaluates to the number 5:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
:(":+" 1 2)
|
|
|
|
```
|
|
|
|
|
|
|
|
A bare string (lacking in `"`) is a shortcut for that string prefixed by a `:`.
|
|
|
|
This is equivalent to the above:
|
|
|
|
|
|
|
|
```
|
|
|
|
:(+ 1 2)
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
The `fn` function can be used to define a new function. This evaluates to an
|
|
|
|
anonymous function which adds one to its argument and returns it:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
:(fn [x]
|
|
|
|
:(+ x 1))
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-02 15:24:52 +00:00
|
|
|
The `def` function can be used to bind some value to a new variable. Note the
|
|
|
|
`.` instead of `:`. We'll cover that in a bit. This defines a variable `foo`
|
|
|
|
which evaluates to the string `"bar"`:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
.(def foo "bar")
|
|
|
|
```
|
|
|
|
|
|
|
|
This defines a variable `incr` which evaluates to a function which adds one to
|
|
|
|
its argument:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
2014-10-02 15:24:52 +00:00
|
|
|
```
|
|
|
|
.(def incr
|
|
|
|
:(fn [x]
|
|
|
|
:(+ x 1)))
|
|
|
|
```
|
2014-04-16 16:39:24 +00:00
|
|
|
|
2014-10-02 15:24:52 +00:00
|
|
|
This uses `defn` as a shortcut for the above:
|
|
|
|
```
|
|
|
|
.(defn incr [x]
|
|
|
|
:(+ x 1))
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
There are also maps. A map's keys can be any value(?). A map's values can be any
|
|
|
|
value. This evaluates to a map with 2 key/val pairs:
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
{ "foo" foo
|
|
|
|
"bar" :(incr 4) }
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
`.` is the half-evaluator. It only works on lists, and runs the function given
|
|
|
|
in the first argument with the unevaluated arguments (even if they have `:` in
|
|
|
|
front). You can generate new code to run on the fly (macros) using the normal
|
|
|
|
`fn`. This evaluates to a `let`-like function, except it forces you to use the
|
|
|
|
capitalized variable names in the body (utterly useless):
|
2014-04-16 16:39:24 +00:00
|
|
|
|
|
|
|
```
|
2014-10-02 15:24:52 +00:00
|
|
|
.(defn caplet [mapping body...]
|
2014-10-01 21:46:29 +00:00
|
|
|
# elem-map maps over every element in a list, embedded or otherwise
|
2014-10-02 15:24:52 +00:00
|
|
|
::(elem-map
|
|
|
|
:(fn [x]
|
|
|
|
:(if (mapping :(slice x 1))
|
|
|
|
(capitalize x)
|
|
|
|
x))
|
|
|
|
body))
|
2014-04-16 16:39:24 +00:00
|
|
|
|
2014-10-01 21:46:29 +00:00
|
|
|
#Usage
|
2014-10-02 15:24:52 +00:00
|
|
|
.(caplet [foo "this is foo"
|
|
|
|
dog "this is dog"]
|
|
|
|
:(println Foo)
|
|
|
|
:(println Dog))
|
2014-04-16 16:39:24 +00:00
|
|
|
```
|