On 27-Nov-2000, Nick Kallen
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 #