Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!usc!jarthur!elroy.jpl.nasa.gov!hacgate!ashtate!atsun!dwiggins From: dwiggins@atsun.a-t.com (Don Dwiggins) Newsgroups: comp.theory Subject: Re: Why not multiple out parameters? [again] Message-ID: Date: 31 Aug 90 02:59:06 GMT References: <1990Aug28.203643.11214@zaphod.mps.ohio-state.edu> Sender: news@ashtate.UUCP Organization: Ashton-Tate, Inc. Lines: 16 In-reply-to: vidynath@function.mps.ohio-state.edu's message of 28 Aug 90 20:36:43 GMT In article <1990Aug28.203643.11214@zaphod.mps.ohio-state.edu> vidynath@function.mps.ohio-state.edu (Vidhyanath K. Rao) writes: Incidentally, every single language I know of does use implicit records: For domains of procedures. As a mathematician, I find the asymmetry between the treatments of domain and codomain bizarre. You'd probably like logic programming then. Not only can there easily be multiple out parameters, a parameter can be out in one call and in in another. I don't know what Dijkstra thinks of Prolog, but this symmetry occurs naturally and is often a useful conceptual and practical tool. -- Don Dwiggins "If you think training is expensive, Ashton-Tate, Inc. try ignorance" dwiggins@ashtate.a-t.com -- Derek Bok, Harvard U.