Documentation ¶
Overview ¶
Package goal provides an API to goal's interpreter.
In order to evaluate code in the goal programming language, first a new context has to be created.
ctx := goal.NewContext()
This context can then be used to Compile some code, and then Run it. It is possible to customize the context by registering new unary and binary operators using the RegisterMonad and RegisterDyad methods.
See tests in context_test.go, as well as cmd/goal/main.go, for usage examples.
Index ¶
- func B2F(b bool) float64
- func B2I(b bool) int64
- type AB
- func (x *AB) Append(ctx *Context, dst []byte) []byte
- func (x *AB) At(i int) bool
- func (x *AB) CloneWithRC(rc *int) Value
- func (x *AB) DecrRC()
- func (x *AB) IncrRC()
- func (x *AB) InitWithRC(rc *int)
- func (x *AB) Len() int
- func (x *AB) Less(i, j int) bool
- func (x *AB) LessT(y Value) bool
- func (x *AB) Matches(y Value) bool
- func (x *AB) RC() *int
- func (x *AB) Slice() []bool
- func (x *AB) Swap(i, j int)
- func (x *AB) Type() string
- type AF
- func (x *AF) Append(ctx *Context, dst []byte) []byte
- func (x *AF) At(i int) float64
- func (x *AF) CloneWithRC(rc *int) Value
- func (x *AF) DecrRC()
- func (x *AF) IncrRC()
- func (x *AF) InitWithRC(rc *int)
- func (x *AF) Len() int
- func (x *AF) Less(i, j int) bool
- func (x *AF) LessT(y Value) bool
- func (x *AF) Matches(y Value) bool
- func (x *AF) RC() *int
- func (x *AF) Slice() []float64
- func (x *AF) Swap(i, j int)
- func (x *AF) Type() string
- type AI
- func (x *AI) Append(ctx *Context, dst []byte) []byte
- func (x *AI) At(i int) int64
- func (x *AI) CloneWithRC(rc *int) Value
- func (x *AI) DecrRC()
- func (x *AI) IncrRC()
- func (x *AI) InitWithRC(rc *int)
- func (x *AI) Len() int
- func (x *AI) Less(i, j int) bool
- func (x *AI) LessT(y Value) bool
- func (x *AI) Matches(y Value) bool
- func (x *AI) RC() *int
- func (x *AI) Slice() []int64
- func (x *AI) Swap(i, j int)
- func (x *AI) Type() string
- type AS
- func (x *AS) Append(ctx *Context, dst []byte) []byte
- func (x *AS) At(i int) string
- func (x *AS) CloneWithRC(rc *int) Value
- func (x *AS) DecrRC()
- func (x *AS) IncrRC()
- func (x *AS) InitWithRC(rc *int)
- func (x *AS) Len() int
- func (x *AS) Less(i, j int) bool
- func (x *AS) LessT(y Value) bool
- func (x *AS) Matches(y Value) bool
- func (x *AS) RC() *int
- func (x *AS) Slice() []string
- func (x *AS) Swap(i, j int)
- func (x *AS) Type() string
- type AV
- func (x *AV) Append(ctx *Context, dst []byte) []byte
- func (x *AV) At(i int) V
- func (x *AV) CloneWithRC(rc *int) Value
- func (x *AV) DecrRC()
- func (x *AV) IncrRC()
- func (x *AV) InitWithRC(rc *int)
- func (x *AV) Len() int
- func (x *AV) Less(i, j int) bool
- func (x *AV) LessT(y Value) bool
- func (x *AV) Matches(y Value) bool
- func (x *AV) RC() *int
- func (x *AV) Slice() []V
- func (x *AV) Swap(i, j int)
- func (x *AV) Type() string
- type Context
- func (ctx *Context) Apply(x, y V) V
- func (ctx *Context) Apply2(x, y, z V) V
- func (ctx *Context) ApplyN(x V, args []V) V
- func (ctx *Context) AssignGlobal(name string, x V)
- func (ctx *Context) AssignedLast() bool
- func (ctx *Context) Compile(loc string, s string) error
- func (ctx *Context) Eval(s string) (V, error)
- func (ctx *Context) EvalPackage(s, loc, pfx string) (V, error)
- func (ctx *Context) GetGlobal(name string) (V, bool)
- func (ctx *Context) GetVariadic(name string) (V, VariadicFun)
- func (ctx *Context) RegisterDyad(name string, vf VariadicFun) V
- func (ctx *Context) RegisterMonad(name string, vf VariadicFun) V
- func (ctx *Context) Run() (V, error)
- func (ctx *Context) Show() string
- type Dict
- func (d *Dict) Append(ctx *Context, dst []byte) []byte
- func (d *Dict) CloneWithRC(rc *int) Value
- func (d *Dict) DecrRC()
- func (d *Dict) IncrRC()
- func (d *Dict) InitWithRC(rc *int)
- func (d *Dict) Keys() V
- func (d *Dict) Len() int
- func (x *Dict) Less(i, j int) bool
- func (d *Dict) LessT(y Value) bool
- func (d *Dict) Matches(y Value) bool
- func (x *Dict) Swap(i, j int)
- func (d *Dict) Type() string
- func (d *Dict) Values() V
- type ErrPackageImported
- type IdentType
- type PanicError
- type RefCountHolder
- type RefCounter
- type S
- type Scanner
- type Token
- type TokenType
- type V
- func Canonical(x V) V
- func CanonicalRec(x V) V
- func Errorf(format string, a ...interface{}) V
- func NewAB(x []bool) V
- func NewABWithRC(x []bool, rc *int) V
- func NewAF(x []float64) V
- func NewAFWithRC(x []float64, rc *int) V
- func NewAI(x []int64) V
- func NewAIWithRC(x []int64, rc *int) V
- func NewAS(x []string) V
- func NewASWithRC(x []string, rc *int) V
- func NewAV(x []V) V
- func NewAVWithRC(x []V, rc *int) V
- func NewDict(keys, values V) V
- func NewError(x V) V
- func NewF(f float64) V
- func NewI(i int64) V
- func NewPanic(s string) V
- func NewS(s string) V
- func NewV(xv Value) V
- func Panicf(format string, a ...interface{}) V
- func (v V) Append(ctx *Context, dst []byte) []byte
- func (x V) Clone() V
- func (x V) CloneWithRC(rc *int) V
- func (x V) DecrRC()
- func (x V) Error() V
- func (x V) F() float64
- func (x V) HasRC() bool
- func (x V) I() int64
- func (x V) IncrRC()
- func (x V) InitRC()
- func (x V) InitWithRC(rc *int)
- func (x V) IsCallable() bool
- func (x V) IsError() bool
- func (x V) IsF() bool
- func (x V) IsFalse() bool
- func (x V) IsFunction() bool
- func (x V) IsI() bool
- func (x V) IsPanic() bool
- func (x V) IsTrue() bool
- func (x V) IsValue() bool
- func (x V) Len() int
- func (x V) LessT(y V) bool
- func (x V) Matches(y V) bool
- func (x V) Panic() string
- func (x V) Rank(ctx *Context) int
- func (v V) Sprint(ctx *Context) string
- func (x V) Type() string
- func (x V) Value() Value
- type Value
- type VariadicFun
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
Types ¶
type AB ¶
type AB struct {
// contains filtered or unexported fields
}
AB represents an array of booleans, that is an array of zeros (false) and ones (true).
func (*AB) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (*AB) CloneWithRC ¶ added in v0.2.0
CloneWithRC satisfies the specification of the RefCounter interface.
func (*AB) DecrRC ¶
func (x *AB) DecrRC()
DecrRC decrements the reference count by one, or zero if it is already non positive.
func (*AB) IncrRC ¶
func (x *AB) IncrRC()
IncrRC increments the reference count by one. It can panic if the value's refcount pointer has not been properly initialized.
func (*AB) InitWithRC ¶ added in v0.2.0
InitWithRC satisfies the specification of the RefCounter interface.
func (*AB) Slice ¶
Slice returns the underlying immutable slice of values. It should not be modified unless the value's refcount pointer is reusable, and even then, you should normally return a new array with the modified slice.
type AF ¶
type AF struct {
// contains filtered or unexported fields
}
AF represents an array of reals.
func (*AF) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (*AF) CloneWithRC ¶ added in v0.2.0
CloneWithRC satisfies the specification of the RefCounter interface.
func (*AF) DecrRC ¶
func (x *AF) DecrRC()
DecrRC decrements the reference count by one, or zero if it is already non positive.
func (*AF) IncrRC ¶
func (x *AF) IncrRC()
IncrRC increments the reference count by one. It can panic if the value's refcount pointer has not been properly initialized.
func (*AF) InitWithRC ¶ added in v0.2.0
InitWithRC satisfies the specification of the RefCounter interface.
func (*AF) Slice ¶
Slice returns the underlying immutable slice of values. It should not be modified unless the value's refcount pointer is reusable, and even then, you should normally return a new array with the modified slice.
type AI ¶
type AI struct {
// contains filtered or unexported fields
}
AI represents an array of integers.
func (*AI) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (*AI) CloneWithRC ¶ added in v0.2.0
CloneWithRC satisfies the specification of the RefCounter interface.
func (*AI) DecrRC ¶
func (x *AI) DecrRC()
DecrRC decrements the reference count by one, or zero if it is already non positive.
func (*AI) IncrRC ¶
func (x *AI) IncrRC()
IncrRC increments the reference count by one. It can panic if the value's refcount pointer has not been properly initialized.
func (*AI) InitWithRC ¶ added in v0.2.0
InitWithRC satisfies the specification of the RefCounter interface.
func (*AI) Slice ¶
Slice returns the underlying immutable slice of values. It should not be modified unless the value's refcount pointer is reusable, and even then, you should normally return a new array with the modified slice.
type AS ¶
type AS struct {
// contains filtered or unexported fields
}
AS represents an array of strings.
func (*AS) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (*AS) CloneWithRC ¶ added in v0.2.0
CloneWithRC satisfies the specification of the RefCounter interface.
func (*AS) DecrRC ¶
func (x *AS) DecrRC()
DecrRC decrements the reference count by one, or zero if it is already non positive.
func (*AS) IncrRC ¶
func (x *AS) IncrRC()
IncrRC increments the reference count by one. It can panic if the value's refcount pointer has not been properly initialized.
func (*AS) InitWithRC ¶ added in v0.2.0
InitWithRC satisfies the specification of the RefCounter interface.
func (*AS) Slice ¶
Slice returns the underlying immutable slice of values. It should not be modified unless the value's refcount pointer is reusable, and even then, you should normally return a new array with the modified slice.
type AV ¶
type AV struct {
// contains filtered or unexported fields
}
AV represents a generic array.
func (*AV) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (*AV) CloneWithRC ¶ added in v0.2.0
CloneWithRC satisfies the specification of the RefCounter interface.
func (*AV) DecrRC ¶
func (x *AV) DecrRC()
DecrRC decrements the reference count by one, or zero if it is already non positive.
func (*AV) IncrRC ¶
func (x *AV) IncrRC()
IncrRC increments the reference count by one. It can panic if the value's refcount pointer has not been properly initialized.
func (*AV) InitWithRC ¶ added in v0.2.0
InitWithRC satisfies the specification of the RefCounter interface.
func (*AV) Slice ¶
Slice returns the underlying immutable slice of values. It should not be modified unless the value's refcount pointer is reusable, and even then, you should normally return a new array with the modified slice.
type Context ¶
type Context struct {
// contains filtered or unexported fields
}
Context holds the state of the interpreter.
func NewContext ¶
func NewContext() *Context
NewContext returns a new context for compiling and interpreting code.
func (*Context) ApplyN ¶
ApplyN calls a value with one or more arguments. The arguments should be provided in stack order, as in the right to left semantics used by the language: the first argument is the last element.
func (*Context) AssignGlobal ¶
AssignGlobal assigns a value to a global variable name.
func (*Context) AssignedLast ¶
AssignedLast returns true if the last compiled expression was an assignment.
func (*Context) Compile ¶
Compile parses and compiles code from the given source string. The loc argument is the location used for error reporting and represents, usually a filename.
func (*Context) Eval ¶
Eval calls Compile with the given string and an empty location, and then Run. You cannot call it within a variadic function, as the evaluation is done on the current context, so it would interrupt compilation of current file. Use EvalPackage for that.
func (*Context) EvalPackage ¶
EvalPackage calls Compile with the string s as source, loc as error location (used for caching too, usually a filename), pfx as prefix for global variables (usually a filename without the extension), and then Run. If a package with same location has already been evaluated, it returns ErrPackageImported. This means that even though Goal allows to evaluate (also via import) with the same location several times (which can be useful if separate files using the same package can be used together or alone), only the first one counts. The package is evaluated in a derived context that is then merged on successful completion, so this function can be called within a variadic function.
func (*Context) GetGlobal ¶
GetGlobal returns the value attached to a global variable with the given name.
func (*Context) GetVariadic ¶ added in v0.10.0
func (ctx *Context) GetVariadic(name string) (V, VariadicFun)
GetVariadic returns the variadic value registered with a given keyword or symbol, along its associated variadic function. It returns a zero value and nil function if there is no registered variadic with such name.
func (*Context) RegisterDyad ¶
func (ctx *Context) RegisterDyad(name string, vf VariadicFun) V
RegisterDyad adds a variadic function to the context, and generates a new dyadic keyword for that variadic (parsing will search for a left argument). The variadic is also returned as a value.
func (*Context) RegisterMonad ¶
func (ctx *Context) RegisterMonad(name string, vf VariadicFun) V
RegisterMonad adds a variadic function to the context, and generates a new monadic keyword for that variadic (parsing will not search for a left argument). The variadic is also returned as a value. Note that while that a keyword defined in such a way will not take a left argument, it is still possible to pass several arguments to it with bracket indexing, like for any value.
type Dict ¶ added in v0.5.0
type Dict struct {
// contains filtered or unexported fields
}
Dict represents a dictionary.
func (*Dict) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (*Dict) CloneWithRC ¶ added in v0.5.0
CloneWithRC satisfies the specification of the RefCounter interface.
func (*Dict) DecrRC ¶ added in v0.5.0
func (d *Dict) DecrRC()
DecrRC decrements the reference count of both the key and value arrays by one, or zero if they are already non positive.
func (*Dict) IncrRC ¶ added in v0.5.0
func (d *Dict) IncrRC()
IncrRC increments the reference count of both the key and value arrays by one.
func (*Dict) InitWithRC ¶ added in v0.5.0
InitWithRC satisfies the specification of the RefCounter interface.
func (*Dict) Len ¶ added in v0.5.0
Len returns the length of the dictionary, that is the common length to its key and value arrays.
type ErrPackageImported ¶
type ErrPackageImported struct{}
ErrPackageImported is returned by EvalPackage for packages that have already been processed (same location).
func (ErrPackageImported) Error ¶
func (e ErrPackageImported) Error() string
type IdentType ¶ added in v0.10.0
type IdentType int
IdentType represents the different kinds of special roles for alphanumeric identifiers that act as keywords.
type PanicError ¶
type PanicError struct { Msg string // error message (without location) // contains filtered or unexported fields }
PanicError represents a fatal error returned by any Context method.
func (*PanicError) Error ¶
func (e *PanicError) Error() string
Error returns the default string representation. It makes uses of position information obtained from its running context.
type RefCountHolder ¶ added in v0.2.0
type RefCountHolder interface { RefCounter // RC returns the value's root reference count pointer. RC() *int }
RefCountHolder is a RefCounter that has a root refcount pointer. When such values are returned from a variadic function, if the refcount pointer is still nil, InitWithRC is automatically called with a newly allocated refcount pointer to a zero count.
type RefCounter ¶
type RefCounter interface { Value // IncrRC increments the reference count by one. It can panic if the // value's refcount pointer has not been properly initialized. IncrRC() // DecrRC decrements the reference count by one, or zero if it is // already non positive. DecrRC() // InitWithRC recursively sets the refcount pointer for reusable // values, and increments by 2 the refcount of non-reusable values, to // ensure immutability of non-reusable children without cloning them. InitWithRC(rc *int) // CloneWithRC returns a clone of the value, with rc as new refcount // pointer. If the current value's refcount pointer is nil, reusable // or equal to the passed one, the same value is returned after // updating the refcount pointer as needed, instead of doing a full // clone. CloneWithRC(rc *int) Value }
RefCounter is implemented by values that use a reference count. In goal the refcount is not used for memory management, but only for optimization of memory allocations. Refcount is increased by each assignement, and each push operation on the stack, except for pushes corresponding to the last use of a variable (as approximated conservatively). It is reduced after each drop. If refcount is equal or less than one, then the value is considered reusable.
When defining a new type implementing the Value interface, it is only necessary to also implement RefCounter if the type definition makes use of a type implementing it (for example an array type or a generic V).
type S ¶
type S string
S represents (immutable) strings of bytes.
func (S) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
type Scanner ¶
type Scanner struct {
// contains filtered or unexported fields
}
Scanner represents the state of the scanner.
func NewScanner ¶
NewScanner returns a scanner for the given source string.
type Token ¶
type Token struct { Type TokenType // token type Pos int // token's offset in the source Text string // content text (identifier, string, number) }
Token represents a token information.
type TokenType ¶
type TokenType int
TokenType represents the different kinds of tokens.
type V ¶
type V struct {
// contains filtered or unexported fields
}
V contains a boxed or unboxed value.
func Canonical ¶
Canonical returns the canonical form of a given value, that is the most specialized form, assuming it's already canonical at depth > 1. In practice, if the value is a generic array, but a more specialized version could represent the value, it returns the specialized value. All variadic functions have to return results in canonical form, so this function can be used to ensure that when defining new ones.
func CanonicalRec ¶ added in v0.2.0
CanonicalRec returns the canonical form of a given value, that is the most specialized form. In practice, if the value is a generic array, but a more specialized version could represent the value, it returns the specialized value. All variadic functions have to return results in canonical form, so this function can be used to ensure that when defining new ones.
func NewABWithRC ¶ added in v0.2.0
NewABWithRC returns a new boolean array.
func NewAFWithRC ¶ added in v0.2.0
NewAFWithRC returns a new array of reals.
func NewAIWithRC ¶ added in v0.2.0
NewAIWithRC returns a new int array.
func NewASWithRC ¶ added in v0.2.0
NewASWithRC returns a new array of strings.
func NewAVWithRC ¶ added in v0.2.0
NewAVWithRC returns a new generic array.
func NewDict ¶ added in v0.5.0
NewDict returns a dictionary. Both keys and values should be arrays, and they should have the same length.
func (V) Append ¶ added in v0.6.0
Append appends a unique program representation of the value to dst, and returns the extended buffer.
func (V) Clone ¶ added in v0.2.0
Clone creates an identical deep copy of a value, or the value itself if it is reusable. It initializes refcount if necessary.
func (V) CloneWithRC ¶ added in v0.2.0
CloneWithRC clones the given value using its CloneWithRC method, if it is a RefCounter, or returns it as-is otherwise for immutable values that do not need cloning.
func (V) HasRC ¶ added in v0.2.0
HasRC returns true if the value is boxed and implements RefCounter.
func (V) InitRC ¶ added in v0.2.0
func (x V) InitRC()
InitRC initializes refcount if the value is a RefCountHolder with nil refcount.
func (V) InitWithRC ¶ added in v0.2.0
InitWithRC calls the method of the same name on boxed values.
func (V) IsCallable ¶ added in v0.10.0
IsCallable returns true if the value can be called with one or more arguments. This is true for functions, arrays, strings and regexps, for example.
func (V) IsFalse ¶ added in v0.10.0
IsFalse returns true for false values, that is zero numbers, empty strings, zero-length values, and errors.
func (V) IsFunction ¶
IsFunction returns true if the value is some kind of function.
func (V) IsTrue ¶ added in v0.10.0
IsTrue returns true for true values, that is non-zero numbers, non-empty strings, and non-zero length values that are not errors.
func (V) IsValue ¶
IsValue returns true if the value is a boxed value satisfying the Value interface. You can then get the value with the Value method.
func (V) LessT ¶ added in v0.10.0
LessT returns true if x is ordered before y. It represents a strict total order (except non-strict for NaNs). Values are ordered as follows: unboxed atoms first (numbers, variadics, then lambdas), then boxed values. Otherwise, values are compared with < and > when comparable, and otherwise using their Type string value. As a special case, comparable arrays are compared first by length, or lexicographically if they are of equal length.
func (V) Rank ¶
Rank returns the default rank of the value, that is the number of arguments it normally takes. It returns 0 for non-function values. This default rank is used when a function is used in an adverbial expression that has different semantics depending on the function arity. Currently, ranks are as follows:
variadic 2 lambda number of arguments projections number of gaps derived verb 1
type Value ¶
type Value interface { // Matches returns true if the value matches another (in the sense of // the ~ operator). Matches(Value) bool // Append appends a unique program representation of the value to dst, // and returns the extended buffer. It should not store the returned // buffer elsewhere, so that it's possible to safely convert it to // string without allocations. Append(ctx *Context, dst []byte) []byte // Type returns the name of the value's type. It may be used by LessT to // sort non-comparable values using lexicographic order. This means // Type should return different values for non-comparable values. Type() string // LessT returns true if the value should be orderer before the given // one. It is used for sorting values, but not for element-wise // comparison with < and >. It should produce a strict total order, // that is, irreflexive (~x<x), asymmetric (if x<y then ~y<x), // transitive, connected (different values are comparable, except // NaNs). LessT(Value) bool }
Value is the interface satisfied by all boxed values.
type VariadicFun ¶
VariadicFun represents a variadic function. The array of arguments is in stack order: the first argument is its last element.
Source Files ¶
- adverbs.go
- adverbspecial.go
- amend.go
- apply.go
- arithd.go
- arithm.go
- arrays.go
- ast.go
- clone.go
- cmpsearch.go
- compiler.go
- context.go
- csv.go
- dicts.go
- encdec.go
- errors.go
- flip.go
- fns.go
- group.go
- join.go
- json.go
- less.go
- math.go
- mathm.go
- opcode.go
- parser.go
- rand.go
- refcount.go
- regexp.go
- scanner.go
- sfns.go
- sort.go
- stringer.go
- strings.go
- time.go
- utf8.go
- utils.go
- valstring.go
- value.go
- variadics.go
- vm.go
Directories ¶
Path | Synopsis |
---|---|
Package cmd provides a quick way to create derived interpreters.
|
Package cmd provides a quick way to create derived interpreters. |
Package os provides variadic function definitions for IO/OS builtins.
|
Package os provides variadic function definitions for IO/OS builtins. |