Re: The Promise of Forth

On Apr 2, 3:00 pm, Aleksej Saushev <a...@[EMAIL PROTECTED]
> wrote:
> Data types enforce rules, otherwise you have denotate for nothing,
> because you can't distinguish between their presence and their absense.

You seem to be trying to logically infer a definition.

However, from:

http://www.nist.gov/dads/HTML/abstractDataType.html

National Institute of Standards and Technology, the definition of
Abstract Data Type is:

Definition: A set of data values and associated operations that are
precisely specified independent of any particular implementation.

So when you regarding:

"A system shall document the values for, or behaviors of, each item.
<...>
Behavior of 6.1.1320 EMIT for non-graphic characters."

that:

"It is required that system documents behaviour for EMIT, thus making
it possible to know the behaviour. In this sense it isn't distinct
from
character set, which is implementation-defined too."

The Forth-94 characters are an open set, including the ASCII7
printable character set.

CHAR 9 EMIT

is an operation on the character '9', which is valid whether the
character 9 is implemented on the stack as $0039 or $00039 or
$00000039, and whether the character typed into and sent back to the
console is $39 or $00000039 or $F9.