Awesome
zygomys - an embedded scripting language for Go
Quick examples...
Note that parenthesis always mean a function call or native lisp form, and function calls always use outer-parentheses.
Traditional lisp style:
// tail recursion; tail-call optimization works, so this won't overflow the stack.
zygo> (defn factTc [n accum]
(cond (== n 0) accum
(let [newn (- n 1)
newaccum (* accum n)]
(factTc newn newaccum))))
zygo> (factTc 11 1) // compute factorial of 11, aka 11! aka 11*10*9*8*7*6*5*4*3*2
(factTc 11 1)
39916800
zygo>
An optional infix syntax is layered on top. The infix syntax is a subset of Go. Anything inside curly braces is infix. Outer parenthesis are still always used for function calls. The zygo REPL is in infix mode by default to facilitate math.
// show off the infix parser
zygo> x := 3; y := 5; if x + y == 8 { (println "we add up") } else { (println "wat?" ) }
we add up
zygo>
quickly create a mini-language to drive your project
zygomys is an embeddable scripting language. It is a modernized Lisp with an object-oriented flavor, and provides an interpreter and REPL (Read-Eval-Print-Loop; that is, it comes with a command line interactive interface).
why use zygomys?
zygomys allows you to create a Domain Specific Language to drive your program with minimal fuss and maximum convenience.
It is written in Go and plays nicely with Go programs and Go structs, using reflection to instantiate trees of Go structs from the scripted configuration. These data structures are native Go, and Go methods will run on them at compiled-Go speed.
Because it speaks JSON and Msgpack fluently, zygomys is ideally suited for driving complex configurations and providing projects with a domain specific language customized to your problem domain.
The example snippets in the tests/*.zy provide many examples. The full documentation can be found in the Wiki. zygomys blends traditional and new. While the s-expression syntax defines a Lisp, zygomys borrows some syntax from Clojure, and some (notably the for-loop style) directly from the Go/C tradition.
The standalone REPL is called simply zygo
. zygo
is also shorthand
for the whole project when speaking aloud. In writing, the full
zygomys
is used to aid searchability.
installation
$ go get github.com/glycerine/zygomys/cmd/zygo
not your average parentheses... features in zygomys 8.0.0 include
- package mechanism that supports modularity and isolation of scripts/packages/libraries from each other. See tests/package.zy for examples.
- NaN handing that matches typical expectations/Go's answers.
- struct defintion and type checking. See
tests/declare.zy
for examples. - Readable nested method calls:
(a.b.c.Fly)
calls methodFly
on objectc
that lives within objectsa
andb
. - Use
zygo
to configure trees of Go structs, and then run methods on them at natively-compiled speed (since you are calling into Go code). - sandbox-able environment; try
zygo -sandbox
and see the NewGlispSandbox() function. -
emacs/zygo.el
emacs mode provides one-keypress stepping through code. - Command-line editing, with tab-complete for keywords (courtesy of https://github.com/peterh/liner)
- JSON and Msgpack interop: serialization and deserialization
-
(range key value hash_or_array (body))
range loops act like Go for-range loops: iterate through hashes or arrays. -
(for [(initializer) (test) (advance)] (body))
for-loops match those in C and Go. Both(break)
and(continue)
are available for additional loop control, and can be labeled to break out of nested loops. - Raw bytes type
(raw string)
lets you do zero-copy[]byte
manipulation. - Record definitions
(defmap)
make configuration a breeze. - Files can be recursively sourced with
(source "path-string")
. - Go style raw string literals, using
`backticks`
, can contain newlines and"
double quotes directly. Easy templating. - Easy to extend. See the
repl/random.go
,repl/regexp.go
, andrepl/time.go
files for examples. - Clojure-like threading
(-> hash field1: field2:)
and(:field hash)
selection. - Lisp-style macros for your DSL.
- optional infix notation within
{}
curly braces. Expressions typed at the REPL are assumed to be infix (wrapped in {} implicitly), enhancing the REPL experience for dealing with math. - To ease parsing of JSON, anonymous hash maps can be declared using curly brace syntax (as of v8.0.0). docs: https://github.com/glycerine/zygomys/wiki/Language#new-anonymous-hash-map-syntax-
obligatory XKCD
additional features
- Go-style comments, both
/*block*/
and//through end-of-line.
- zygomys is a small Go library, easy to integrate and use/extend.
- Float (float64), Int (int64), Char, String, Symbol, List, Array, and Hash datatypes builtin.
- Arithmetic (
+
,-
,*
,/
,mod
,**
) - Shift Operators (
sll
,srl
,sra
) - Bitwise operations (
bitAnd
,bitOr
,bitXor
) - Comparison operations (
<
,>
,<=
,>=
,==
,!=
) - Short-circuit boolean operators (
and
andor
) - Conditionals (
cond
) - Lambdas (
fn
) - Bindings (
def
,defn
,let
,letseq
) - Standalone and embedable REPL.
- Tail-call optimization
- Go API
- Macro System with macexpand
(macexpand (yourMacro))
makes writing/debugging macros easier. - Syntax quoting -- with caret
^()
instead of backtick. - Backticks used for raw multiline strings, as in Go.
- Lisp-expression quoting uses
%
(not'
; which delimits runes as in Go). - Channel and goroutine support. (Deprecated now in v6.0.7, as it is data race-y).
- Full closures with lexical scope.
See the wiki for lots of details and a full description of the zygomys language..
where did the name zygomys come from?
zygomys is a contraction of Zygogeomys, a genus of pocket gophers. The Michoacan pocket gopher (Zygogeomys trichopus) finds its natural habitat in high-altitude forests.
The term is also descriptive. The stem zygo
comes from the Greek for yoke, indicating a pair or a union of two things, and mys
comes from the Greek for mouse. The union of Go and Lisp in a small cute package, that is zygomys.
users of note
https://github.com/metacurrency/holochain
license
Two-clause BSD, see LICENSE file.
author
Jason E. Aten, Ph.D.
credits
The ancestor dialect, Glisp, was designed and implemented by Howard Mao.
The Go gopher was designed by Renee French. (http://reneefrench.blogspot.com/) The design is licensed under the Creative Commons 3.0 Attributions license. Read this article for more details: https://blog.golang.org/gopher
XKCD https://xkcd.com/297/ licensed under a Creative Commons Attribution-NonCommercial 2.5 License(https://xkcd.com/license.html).