# this comment terminates at the end of this line
         
            # and this comment terminates here

An input line consists of a number of tokens. Some of these are single characters, the reserved characters. They are the two (square) brackets [ and ] , the two (curly) braces { and }, the semicolon ; and the period . :

    reserved-character  ::=
            "["  |  "]"  |  "{"  |  "}"  |  ";"  |  "."

Another kind of token is that of integer constant, a string of one or more decimal digits "0" .. "9" possibly immediately preceded by a unary minus "-".

    integer-constant  ::=
            [ "-" ]  ( "0" | "1" .. | "9" )  { "0" | "1" .. | "9" }

Apart from integers, the current implementation of Joy also has real numbers or "floats". In the simplest form a float constant consists of a string of one or more decimal digits, then a decimal point . and then at least one more decimal digit or possibly more. As for integer constants, a float constant can optionally be preceded by a unary minus. For scientific notation, a float constant can be followed by a scale factor, either of the letters "e" or "E" followed by one or more digits.

Instead of writing integers or floats in decimal notation, they can be preceded by "0" to signify octal notation (using digits "0" .. "7"), or preceded by "0x" pr "0X" to signify hexadecimal notation (using digits "0" .. "9" "A" .. "F").

Others tokens are string constants and character constants. Some character sequences beginning with the backslash "\" character inside string constants or character constants are treated as escaped characters. A character other than the backslash character is an ordinary character.

    escaped-character  ::=
               "\n"                     newline
            |  "\t"                     tab
            |  "\b"                     backspace
            |  "\r"                     carriage return
            |  "\f"                     formfeed
            |  "\'"                     single quote
            |  "\""                     double quote
            |  "\ddd"                   ASCII whose value is ddd
                                        where ddd are three decimal digits
    ordinary-character  ::=
            any character except "\"

    string-constant  ::=
            '"'  { escaped-character | ordinary-character } '"'
    character-constant  ::=
            "'"  ( escaped-character | ordinary-character )

Of the remaining tokens some are the reserved symbols:

    reserved-word  ::=
	    "=="  |  "MODULE"  |  "PRIVATE"  |  "PUBLIC"  |  "END"
                               |  "HIDE"     |  "IN"
                                             |  "DEFINE"
                                             |  "LIBRA"   

Any other token beginning with a printing character and possibly continuing with upper or lower case letters, digits or the three characters "=", "_" or "-" is an atomic symbol.

    atomic-symbol  ::=
        any printing character which is not a reserved character
            or a digit or the single or double quote character
        { letter  |  digit  |  "="  |  "_"  |  "-" }

To summarise, here is the definition of tokens:

    token  ::=
          reserved-character | reserved-word
	| integer-constant | float-constant
	| character-constant |  string-constant
	| atomic-symbol

Individual tokens are used to built up two kinds of syntactic entities called factors and terms. Their definitions are mutually recursive.

A factor can be a single token such as an atom or one of the three constants: integer constant, character constant or string constant. A factor can also consists of a (possibly empty) sequence of integer or character constants enclosed in the curly brace tokens { and }. Finally, a factor can also be a (possibly empty) term enclosed in the square bracket tokens [ and }.

    factor  ::=
           atomic-symbol
        |  integer-constant | float-constant
        |  character-constant | string-constant
        |  "{"  { character-constant | integer-constant } "}"
        |  "["  term  "]"

    term  ::=
        { factor }

For the semantics another classification is essential. Factors are either literals or operators or combinators. A literal can be one of the two atomic symbols "true" or "false" -- these are the logical literals. A literal can also be one of the four constants and these are then called integer literal, float literal, character literal or string literal. A literal can also consist of the braces enclosing characters or integers - these are the set literals. Finally a literal can consist of the brackets enclosing a term - these are the quotation literals or simply quotations. If the term consists just of literals, the factor is called a list list or just a list.

    literal  ::=
           "true"  |  "false"
	|  integer-constant | float-constant
	|  character-constant | string-constant
        |  "{"  { character-constant | integer-constant } "}"
        |  "["  term  "]"

factors and terms denote functions which take one argument and yield one value or result. The argument and the result consist principally of a stack of values, but have as minor components several input files and one output file. The stack is normally a sequence of values of the kind denoted by constants and thus it resembles a list. But in (rather rare) cases the stack can contain operators or combinators. So the stack is essentially the same thing as a term. Most of the functions affect only the stack component. An empty term denotes the identity function. A non-empty term, consisting of one or more factors concatenated, denotes the composition of the functions denoted by the factors. The functions denoted by the factors are applied in the order in which the factors are written.

All literal factors denote functions yielding as result a stack component which is like the argument stack except that the value of the literal has been pushed on top of the stack. The operator factors expect as argument a stack which has to contain one or more values. They denote functions yielding as a result another stack which is like the argument stack except that the top few values have been replaced by others. The combinator factors are like the operator factors in that they expect a stack containing certain values. Specifically, the combinator factors expect a stack containing one or more quotations and possibly some other values. Combinators will execute the terms contained in the quotations.

The file Online manual (raw Joy1) gives a very synoptic explanation of the inbuilt primitives of raw Joy1 -- that is, excluding anything defined in one or the other library. The arrow -> indicates that the operator or combinator that is being described expects on top of the stack the items on the left of the arrow and returns a stack on top of which are the items on the right. The content of this file is identical in content with that obtained by the manual command.

Definitions and the main cycle

Often one needs not just one definition but a sequence of definitions, and these are then separated by semicolons ";".

    definition-sequence  ::=
        definition  { ";"  definition }

Definitions can be of two kinds: simple or compound. A simple definition consists of a user-chosen atomic symbol followed by the == token followed by a term:

    simple-definition  ::=
          atomic-symbol  "=="  term

A compound definition consists of 1) optionally the MODULE token followed by an atomic symbol, then 2) optionally either the PRIVATE token followed by a definition sequence, then 3) optionally the PUBLIC token followed by a definition sequence, and finally either the "." (period) token or the END token. At least one of the three options must be present:

    compound-definition  ::=
	[ "MODULE"  atomic-symbol ]
	[ "PRIVATE"  definition-sequence ]
	[ "PUBLIC"  definition sequence ]
	( "." | "END" )

In the simplest case only the PUBLIC-part is present. In that case all definitions in the definition sequence are entered into the symbol table. If there is a PRIVATE-part, then any definitions in its definition sequence are entered into the symbol tableand are then available for use by the PUBLIC-part. However, the PRIVATE definitions are then obscured at the end of the PUBLIC definition sequence and are then not available any further. If there is a MODULE-part, then all subsequent PRIVATE and PUBLIC definition are visible as before except that at the end of the PUBLIC definition sequence all definitions are obscured except the name of the module. In that case the definitions of the PUBLIC-part can only be accessed as factors by what is called "qualified access", in the form

	m . f   or   m.f

In many uses of Joy the initial input will be from the terminal keyboard and the output will be to the terminal screen. Operating systems will generally allow the input and the output to be redirected, so that the input comes from a disk file or the output goes to a disk file, or both. Whatever the actual input file is, it will consist of a a number of requests to the Joy system. A request is either a compound definition or it is a term followed by either the END token or just a period ".".

    cycle  ==
        {    compound-definition
	  |  term  ( "END" | "." ) }

	$  joy

	$  RUN JOY

	$  JOY

However, although this is the simplest case, it is not the most common. If the current directory contains a file by the name "usrlib.joy", this will become the first input file, and the main cycle will start reading requests from there. Typically this file will contain some definitions specific to the particular user, or to the particular installation, or to the particular operating system. Typically this file will also contain a directive to continue by reading some of the standard libraries, or to continue with some other files. When these requests have been serviced, the main cycle will continue by reading inputs from the keyboard, unless the main cycle has been terminated before that happens.

Most operating systems allow input to and output from a program to be "redirected" to come not from the keyboard or go to the screen, but to come from and go to a file. In Unix the Joy interpreter can be run with the input redirected from a file, say "my-input.joy", like this:

	$  joy  <my-input.joy

	$  joy  <my-input.joy  >my-output.txt

	$  JOY /INPUT=MY-INPUT.JOY  /OUTPUT=MY-OUTPUT.TXt

Under some operating systems it is possible to give what are called command line arguments to a program that is to run. This is very familiar under Unix, where the Joy interpreter might be run like this:

	$  joy  P1  P2  P3

	$  JOY == "$DSK-XYZ[MYNAME.JOYDIR]JOY.EXE"

	$  JOY  P1  P2  P3

When the Joy interpreter is run with command line arguments, the first parameter P1 must be a valid file name. The interpreter then attempts to open that file for reading, and if that attempt fails it exits. If the attempt succeeds, all further commands are taken not from standard input (possibly redirected) but from that file. This means that any explicit input from the "get" command can still come from standard input.

When Joy is run with command line parameters, say by

	$  joy  test.joy  mary  42

Under Unix and under VMS one can write files that are to be executed by the command interpreter and whose first line calls Joy and uses the rest of the file s input to Joy. In Unix these are "here documents", for VMS they are ".com" files. With the command line arguments to Joy there is another, more elegant, possibility using the "#!" facility (interpreted by the Unix exec system call). For Joy such a file would have to start with "#!joy" as the first line, and the rest of the file as input to Joy. The file gcd is an example which uses Joy to compute the greatest common divisor. After it has been created, it has to be made executable with

$ chmod +x gcd

$ gcd 45 100

For many applications no explicit output operation is needed because in the default mode the main cycle will always write the value of the top of stack to the output stream. But sometimes explicit output is useful. There are two basic output operators: put will remove a value of any type from the stack and write it to the output stream. putch will remove a value of a numeric type (character or integer) and write it as a single ASCII character to the output stream. Other useful output operations are defined in the library.

In the default mode the Joy system will write the value of the top of stack item to the output. The mode is under the control of a flag with value 0 and 1. If the value is 0, no automatic output occurs. If the value is 1, the default, output of the top value occurs after the evaluation of every term in the main cycle. If the value is 2, the entire stack is output after such an evaluation. The value of this flag can be changed by the setautoput operator, typical use is

        0  setautoput.

Most Joy programs operate on a stack, several input files and one output file. The initial input comes either from the keyboard or it can be redirected to come from a diskfile, or it can be not from standard input but from a file specified as a command line argument. Often it is useful to include other files, typically diskfiles, in the input. Joy has an include operator for this purpose. It takes a string on the stack as a parameter and opens a file with that name and henceforth accepts input from there. A typical use might be

        "test.joy"  include.

Users will often want their own selection of systems or private libraries read in automatically when the system starts up. For this purpose the Joy system always starts by checking whether a file "usrlib.joy" exists in the user's current directory. That file can be empty, but it can contain user specific definitions and it can contain particular terms to be executed. One such term might be a directive to include yet another file, perhaps

        "inilib.joy"  include.

If input does not come from the keyboard but from an include file, it is often useful to see the current input on the screen. Normally the Joy system does not echo keyboard or other input on the screen or output file, but it can be made to do so. Joy has an internal echoflag with values 0, 1, 2 or 3.. The initial default value is 0, and then no echo occurs. If the value is 1, then input lines are echoed to the output without change. If the value is 2, then each line is preceded by a tab (ASCII 9) -- this can help to distinguish echoed lines in the output from others. If the value is 3, then each tab is preceded by a line number specific to the current input file. When input reverts to an earlier file, the earlier line numbering is resumed. The value of the echo flag can be set by the operator setecho. Typically the value will be set by something like

        2  setecho.

When a Joy program is processed, two kinds of programming errors can occur. The first kind can occur during reading of the input file. Because the syntax of Joy is so simple, there are only few possibilities for error. The second kind can occur at runtime when a term is being executed. These errors concern incorrect parameters for operators and combinators. Because there are many kinds of operators and combinators, the possibilities for runtime errors are great.

Errors of the first kind occur during reading a program. Since the input line is still available at that time, it is possible for the error message to point to the exact place at which the error occurred. If input comes from the initial input file, most likely the terminal, it is not repeated. In other case it is repeated, including its line number. The next line then consists just of an up-arrow "^" pointing to the error position. Following that is a line containing the specific error message.

The following (rare) message can be reported when reading tokens, it occurs when the second or third digit in an escaped character is missing.

        digit expected

        numeric expected in set
        ']' expected
        a factor cannot begin with this symbol

        IN expected in HIDE-definition
        END expected in HIDE-definition

        atom expected at start of definition
        == expected in definition

All other errors are runtime errors. These are given in the form:

    "run time error: "  MESSAGE  " needed for "  NAME

    run time error: fewer include files needed for include
    run time error: valid file name needed for include

        one parameter
        two parameters
        three parameters
        four parameters
        four parameters
        quotation as top parameter
        quotation as second parameter
        quotation as third parameter
        quotation as fourth parameter
        two parameters of the same type
        integer
        two integers
        numeric
        numeric second parameter
        non-zero operand
        list
        list as second parameter
        user defined symbol
        internal list
        small numeric
        non-empty set
        non-empty string
        non-empty list
        smaller index
        aggregate parameter
        different type

Some apparently inexplicable runtime errors can occur when reading an included library file which is syntactically correct and hence does not produce an error message as it is read in. The program can still contain a logical error which causes something unintended to be executed that produces a run time error. In that case it is helpful to use setecho to set the echoflag to 3, resulting in line numbers to be printed as the included file is read in. There have been two occasions where this trick helped clear up a problem.

The libraries

The Joy system has a growing number of library files containing definitions which extend the core Joy language. he following is a brief description of the various libraries in the current distribution. The actual content of all the libraries is still subject to minor change, so these descriptions should only be taken to be a rough guide.

The first two libraries below are very atypical: the first because it does not even have to exist at all, the second because it is assumed by just about all other libraries and hence is quite non-specific.

usrlib.joy

This user library is intended to be just an example of what a personalised file usrlib.joy might look like. When Joy is run with input coming from the standard input stream, on startup Joy will first determine whether there is a file usrlib.joy in the current directory. If there is, it is opened for reading. When the end is reached, or when there is no such file, the terminal or the designated inpu file is used. For any particular user this file might look very different -- it might be empty, or it might might contain just a directive to include the library described next, or it might contain fewer or it might contain more definitions, or it might contain definitions of a very different kind.

inilib.joy

This initial library contains a disparate collection of operators and combinators that are widely useful. Most are not dependent on particular types. Some of them might eventually be incorporated as primitives into the Joy language. Currently there are a few simple operators to help with explicit input and output, some operators for dates and times, some operators on predicates, and some useful combinators. Finally there are some utilities to help loading and managing libraries. All other libraries wiil ensure either directly or indirectly that this library is also loaded.

The following basic libraries contain definitions of still rather general operators and combinators but related to specific types or groups of types.

agglib.joy

This aggregate library contains definitions of operators and combinators most of which are applicable to all of the three aggregate datatypes such as lists, strings and sets. (Note that the next library seqlib.joy is specifically for sequence datatypes such as lists and strings.)

The agglib.joy library contains definitions of several unary and binary operators for building special cases of these datatypes, and for accessing parts of these datatypes. There are also some ("dipped") variants which operate not on the top of the stack but one below. The combinators in this library are mainly for traversing these datatypes. (At the end there are a few definitions of statistical operators, but in the future these might be moved to a more extensive statistics library.)

seqlib.joy

This sequence library> contains definitions of functions specific to the sequence datatypes such as lists and strings. When this library is loaded, it ensures that the agglib.joy library will also be loaded.

This library contains definitions of functions for reversing lists or strings, for flattening lists of sequences, for generating lists of various subsquences of sequences, sorting and merging of sequences and inserting into and deleting from sequences. (At the end there are a few definitions of functions applicable to trees or recursive lists, but in the future these might be moved to a more extensive tree library.)

numlib.joy

This numerical library contains definitions of functions and combinators for numerical work on integers and floating numbers. some convenience predicates such as positive, negative, odd, even and prime, some standard functions such as factorial, fibonacchi, greatest common divisor and temperature conversion. Also included are methods for finding roots of quadratic equations and Newton's method for finding solutions of equations in one variable.

symlib.joy

This symbolic library is for purely symbolic manipulation of various notations. Currently all the definitions are for non-specific translations from one notation to another.
There is a symtst.joy test file and its symtst.out output. This library is currently used by the special libraries grmlib.joy and plglib.joy, see below.

The followiing special libraries contain definitions of operators and combinators that are very specific to a particular field or problem.

mtrlib.joy

A library for matrices and vector manipulation. The vectors are implemented as Joy lists, the matrices as lists of lists. Either may contain numeric or non-numeric elements.
There is a mtrtst.joy testfile and its mtrtst.out output.

tutlib.joy

A library for writing interactive sessions such as tutorials.
Currently there is only one such tutorial (for Joy): joytut.joy
There is a joytut.com (pseudo) input and its joytut.out output.

lazlib.joy

A "lazy list" library, for unevaluated infinite or finite lists that will only be evaluated as needed.
There is a laztst.joy test file and its laztst.out output.

lsplib.joy and lsplib.lsp

A small (eval-apply) Lisp interpreter in Joy, and a small library for this version of Lisp.
There is a lsptst.joy driver for the lsptst.lsp lisp input and its lsptst.out output.

plglib.joy

A library for propositional logic using semantic tableaux for determining whether a formula is a tautology (or for determining satisfiability). This library depends on (and loads) the symbolic library symlib.joy.
There is a plgtst.joy file of test input and its plgtst.out output.

grmlib.joy

A grammar library for regular expressions and context free grammars. Both parsing and generating are supported. This library depends on (and loads) the symbolic library symlib.joy.
There is a grmtst.joy test input and its grmtst.out output.

The file allhelp.html is the output of the help command when all libraries have been loaded. It gives some impression of the size of the Joy implementation so far.

The file joylibs.tar.gz is a gzipped tar file of all *.joy libraries, input test files and output files. This file is automatically updated when there is any change to the Joy distribution.

The following libraries are external to the main Joy web pages. They are part of the "files" folder for the "concatenative" yahoo mailing group. To access them you need to join the group.

rabbit

A Joy to HTML translation library by Heiko Kuhrt, it contains an extensive Joy manual in HTML format.

mandel

Several Mandelbrot programs in Joy by Nick Forde et. al. collected by Nick Forde.

Joy has a help command to remind users of the names of currently defined symbols. The command does not expect any parameters on the stack, and it does not affect the stack. The effect is to write all user defined symbols and all inbuilt symbols to the output which is normally the screen. The list begins with the most recently defined symbols, typically those specially defined just for the current run, then the library symbols and finally the inbuilt symbols. The help command is just a factor:

        help

More details about a particular symbol can be obtained by the helpdetail operator. It expects a list of atoms on the stack and gives a short message for each symbol. If the symbol is defined, then the message consists of the definition for the symbol. If the symbols is inbuilt, then the message consists of a brief description of its usage.

        [ swap step product ]  helpdetail.

swap   :   X Y  ->  Y X
  Interchanges X and Y on top of the stack.
step   :   A [P]  ->  ...
  Pushing successive members of aggregate A onto stack, executes P for each.
product  ==
  1  swap  [*]  step

As described in section 2, Joy already allows escapes to the operating system at the level of input lines. Another such escape is at the level of Joy operators. The system operator expects a string as a parameter and passes that to the operating system. A typical use might be:

        "directory"  system

        editor  ==  "EDIT/TECO "

        edit  ==  dup editor swoncat system include

        "TEST.JOY"  edit

        editor  ==  "vi "

Back to Main page for the programming language Joy