Symbols

4.1 Symbols

TBoS p 35, SD SD

A symbol is series of alphanumeric characters plus the characters + ! $ % & * _ ' / . A symbol cannot begin with number. The exact syntax for symbols is given here.

Symbols are self-evaluating in Shen; the symbol a evaluates to a, abc to abc. Symbols can be derived from interning suitable strings.

(1-) abc
abc

(2-) abc'
abc'

(3-) (intern "cheese")
cheese

4. The Core Language

4.6 Sequences

5 Defining Functions

6. Packages

7. Shen-YACC

8. Shen Prolog

9. Types

10 Sequent Calculus

10.2 Exotic Types