Global Utilities

Global Navigation

---------- NEW ----------

joydir.txt Most recent Joy directory sorted by access.
2-SEP-05 (Sec 2) "Floy - a flat concatenative subset of Joy"
18-MAY-05 (Sec 2) "Survey of reproducing programs"
18-MAR-05 (Sec 2, "Lazy lists as reproducing programs"
14-FEB-05 (Sec 2) "The annoying quadratic formula"
23-JUN-03 (Sec 2) "Fast small truth tables" (using Joy sets)
07-MAY-03 (Sec 2) "Nested Recursion" [also (Sec 3) new interp.c]
23-APR-03 (Sec 2) Revised Paper 9: "The current implementation"
17-MAR-03 Modules: changes to globals.h, main.c, scan.c utils.c (Sec 3)
modtst.joy and modtst.out output.
11-FEB-03 (Sec 2) Revised Paper 1: "Tutorial on Joy"
24-JAN-03 (Sec 2) The online manual and help outputs
04-DEC-02 (Sec 3) Nick Forde's (thanks) command line options in interp.c
04-NOV-02 (Sec 3) Nick Forde's (thanks) "undefs" in interp.c
28-OCT-02 (Sec 2) Matrix library - fixed an error "mapr2"
25-OCT-02 (Sec 2) Church arithmetic and Church logic (revised)
06-MAY-02 (Sec 3) Grammar library, with demo
03-APR-02 (Sec 3) End-of-line comments using # (in scan.c)
14-MAR-02 (Sec 3) Propositional logic semantic tableaux library, with demo
26-FEB-02 (Sec 3) LICENSE (bsd license)
21-Feb-02 (Sec 3) Symbolic Manipulation library, with demo
01-FEB-02 (Sec 3) Lisp interpreter written in Joy, with demo
23-NOV-01 (Sec 3) "Lazy" list library, with demo
01-NOV-01 (Sec 3) Recent bug fixes to C-source (interp.c)
11-OCT-01 (Sec 2) Pearls: Imperative Thinking in Joy
03-SEP-01 (Sec 3) Interactive Tutorial library, with demo
03-AUG-01 (Sec 2) Frequently Asked Questions about Joy
12-JUL-01 (Sec 3) New basic Joy libraries
04-JUL-01 (Sec 2) Pearls of Joy
16-JUN-01 (Sec 3) "Terminal" update to Joy0 C sources
01-JUN-01 (Sec 3) John Cowan's Joy1 C sources

Contents:

Various introductions to Joy
Papers on Joy
The C sources and the Joy libraries
Mailing group "concatenative"

1. Various introductions to Joy

These introductions contain some common material.

Synopsis of the language Joy (1K)A one-page introduction
Frequently Asked Questions about Joy (24K) for programmers
Joy: Forth's Functional Cousin includes comparisons with Forth
Apter interviews von Thun in APL journal Vector
(if unsuccessful, follow "weblog" link towards end)
Rationale for Joy (65K), for theoretical computer scientists
Overviewof Joy (27K), introductory sections of other papers.
You don't like theory? Try the tutorial below.

2. Papers on Joy

1. Tutorial on Joy Revised 11-Feb-03 (47K)
2. Mathematical Foundations of Joy (50K)
3. Atomic Programs of Joy (48K)
4. The Algebra of Joy (56K)
5. Recursion Theory and Joy (60K)
6. Programming in Joy (80K)
7. A rewriting system for Joy (57K)
8. Joy compared with other functional languages (46K)
9. The current implementation Revised 23-APR-03 (41K)
The following are produced automatically and always up to date:
plain-manual The online manual for Joy primitives (text format)
html-manual The same (html format)
List of primitive and currently defined library functions
(by "help." command, all libraries loaded)
(External) Nick Forde's documentation library
(External) The Theory of Concatenative Combinators
An algebraic treatment, by Brent Kerby (2002)
A collection of diverse examples of program development in Joy:
- Design of a Joy interpreter written in Joy
  - Programs from the above (with additions) jp-joyjoy.joy
  - jp-joytst.joy test and jp-joytst.out (VMS: NOBDW) output
- Design of matrix multiplication programs
- Imperative thinking for Joy programs
- Church arithmetic and Church logic with Brent Kirby, and jp-church.joy the source.
- Nested Recursion and a new recursion combinator.
- Fast small truth tables (using Joy native sets)
- The annoying quadratic formula
- Lazy lists as reproducing programs
- Survey of reproducing programs
- Floy - a flat concatenative subbset of Joy
Joy bibliography
joyhtml.tar.gz gzipped tar file of all the papers.

3. The C sources and the Joy libraries

The C sources:

The old Joy0 C-files The prototype has now been abandoned.
Joy1 Prospectus (1K)
Summary description of John Cowan's Joy1 (June 2001)
John Cowan's site: his joy.tar.gz (500K)
current joy.tar.gz (500K) includes:
Garbage collector, Joy1 C-sources, makefiles, Joy libraries
Use this to build Joy1 initially on unix systems.
The new Joy1 C-sources (including a tar.gz)
Use these to build Joy1 on non-unix systems, or to update just the C-sources.
Bugs, Fixes and Plans(30-Oct-01)
LICENSE (BSD license)
Miscellanous miniature implementations of Joy

Joy libraries:

usrlib.joy personal user library, loaded by default
inilib.joy the initial library of the Joy system
The basic libraries
- agglib.joy aggregates: sets, lists, strings
- seqlib.joy sequences: lists, strings with ordering
- numlib.joy numeric: integers, floats
- symlib.joy symbolic manipulation (only translations so far)
  with symtst.joy test file and symtst.out output
The special libraries
- mtrlib.joy (matrices and vectors)
  with mtrtst.joy test file and mtrtst.out output
- tutlib.joy (interactive tutorials)
  with joytut.joy an application and
  a (pseudo) input joytut.com and output joytut.out
- lazlib.joy ("lazy" infinite and finite lists)
  with laztst.joy test file and laztst.out output
- lsplib.joy A small (eval-apply) Lisp interpreter in Joy, and
  lsplib.lsp a small library for this version of Lisp.
  lsptst.joy and lsptst.lsp input and lsptst.out output.
- plglib.joy propositional logic semantic tableaux
  with plgtst.joy test file and plgtst.out output
- grmlib.joy grammar library (generating and parsing)
  with grmtst.joy test file and grmtst.out output
- rabbit (external) a Joy to HTML translation library by Heiko Kuhrt, it contains an extensive Joy manual in HTML format
- mandel (external) several Mandelbrot programs in Joy by Nick Forde et. al. collected by Nick Forde
joylibs.tar.gz (01-NOV-01) gzipped tar file of all *.joy libraries and miscellaneous files.

4. Mailing group "concatenative"

There is also a discussion group dealing with Joy and related topics. To browse previous messages, or to join the group, see http://groups.yahoo.com/group/concatenative
Both browsing and joining are junk-mail-proof. These messages can be read without joining the group. There have been 1116 contributions in the first two years, 1-MAY-2000 to 1-MAY-2002. Thanks to the coordinator, Billy Tanksley, for setting it up. I am also very grateful to the members of this group for many discussions, ideas and help.

In addition to the mail messages there is also a growing collection of files:
http://groups.yahoo.com/group/concatenative/files/
These files have been contributed by members of the mailing group. They contain several Joy programs, some discussion papers, some documentation, and also an implementation (NJoy) of Joy in ML. These files can only be read after joining the group.

Back to homepage for Manfred von Thun

Mailto: Manfred von Thun (email: phimvt@lure.latrobe.edu.au).

Hits (-H) from Sites (-S)
         Jan   Feb   Mar   Apr   May   Jun   Jul   Aug   Sep   Oct   Nov   Dec
2004-H  6207  5283
    -S  1245  1239
2003-H  6177  4996 15303 20663 15343  4632  4638  2590  5218    NA    NA  4422
    -S  1083   786  1149  1882  1541  1029   970   566  1144    NA    NA  1128
2002-H  3034  4326  4141  2920  4509  3619  3244  4893  1784    NA    NA  2931
    -S   512   608   621   563   920   680   585   703   341    NA    NA  1217
2001-H                                                  6930  6147  2903  5742
    -S                                                         679   458   889

CRICOS provider number: 00115M