From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <9c390030688b58ce3740c5b3d720fece@9netics.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] new compilers
Date: Fri, 31 Mar 2006 01:42:08 -0800
From: Skip Tavakkolian <9nut@9netics.com>
In-Reply-To: <6cc27558710263342edab21d0db7e92a@lsub.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 29e52574-ead1-11e9-9d60-3106f5b1d025

> Type checking was also a concern. I think they did not
> understand that a data type (or xml tree) is not a guarantee
> to have the system know about "semantics". They got
> even more scared when I replied that the system should
> best not be involved in semantics (which is up to the user).

UBF can have "contracts" that are verifiable.

i agree about the semantics.  i am still not sure why the network
machinery in the middle would need to know what "volume 50" means if
only the requester shell script and the noisemaker server need to
understand it's meaning.