[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
more misc. stuff
- To: Jonathan Rees <Rees at YALE>
- Subject: more misc. stuff
- From: MOON at SCRC-TENEX
- Date: Wed, 06 Jul 1983 20:34:00 -0000
- Cc: common-lisp at SU-AI
- In-reply-to: The message of Wed 6 Jul 83 14:10:00 EDT from Jonathan Rees <Rees@YALE.ARPA>
Date: Wed, 6 Jul 83 14:10:00 EDT
From: Jonathan Rees <Rees@YALE.ARPA>
 Page 77: be careful about the use of the term "predicate". It has
"traditionally" been used in two different ways - to mean a function
which returns a truth value, and to mean an expression which computes a
truth value. The CL manual elsewhere suggests the term "test" for the
second concept. So in the descriptions of IF, WHEN, and UNLESS, use
"test" instead of "pred" to name the test form.
But a number of functions (including the sequence function) take a :TEST
keyword whose value is a predicate function, not a form. So using the
words predicate/test to reflect the function/form distinction will still
be confusing. We either need a third word or else should append "-form"
to anything that is a form. Fixed in Lambda calculus.