[r6rs-discuss] [Formal] Plausible lists presentation defect

From: AndrevanTonder <andre>
Date: Mon Oct 2 04:05:45 2006

Name : Andre van Tonder
Email : andre at het.brown.edu
Type : defect
Priority : minor
Component : Mutable list arguments
Version : 5.91
Pages : 123-124
Dependencies: None

Summary:
--------

Slight defect in formal definition of plausible
lists.

Description:
------------

There are various sentences similar to the following:

"A plausible list up to n between times t_0 and t_n is a Scheme
value x such that..."

"A plausible list (alist) between times t_0 and t_n is a plausible
list (alist) of some length n between those times."

Here the n in "up to n" and "of some length n" does not appear
to have anything to do with the n in "t_n". For example, if they
were confused to be the same, the second quotation above would
not mean what presumably was the intention of the author to say.

Suggestion:
-----------

Rather say, for example:

"A plausible list (alist) between times t_0 and t_f is a plausible
list (alist) of some length n between those times."
Received on Sun Oct 01 2006 - 17:24:57 UTC