On 27-Nov-2000, Nick Kallen <nkallen@uclink4.berkeley.edu> wrote:
> > To use a :- promise declaration you would
> > have to trust the author.
>> It seems like you'd also have to trust the author to write bug-free code
> too...
I think this is the point. You have to trust them to write pure
interfaces. Generally this will involve them writing bug-free code.
This is the level of trust you usually give to compiler and library
writers. But if people start writing foreign language interface stuff
all over the place, you might want to start exerting some control over
using it unless you are pretty sure it's bug-free (an deliberately
written to be pure).
--
Tyson Dowd #
# Surreal humour isn't everyone's cup of fur.
trd@cs.mu.oz.au #
http://www.cs.mu.oz.au/~trd #