Skip to content

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.

License

Notifications You must be signed in to change notification settings

glycerine/zygomys

Repository files navigation

Image of Gopher flying

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 method Fly on object c that lives within objects a and b.
  • 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, and repl/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

Obligatory XKCD: "elegant weapons... for a more civilized age"

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 and or)
  • 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).

About

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages