Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!uxc.cso.uiuc.edu!uxc.cso.uiuc.edu!m.cs.uiuc.edu!robison
From: robison@m.cs.uiuc.edu
Newsgroups: comp.lang.misc
Subject: Re: Language Tenets (was Re: Double
Message-ID: <5200042@m.cs.uiuc.edu>
Date: 20 Jul 89 02:18:00 GMT
References: <84306@ti-csl.csc.ti.com>
Lines: 15
Nf-ID: #R:ti-csl.csc.ti.com:84306:m.cs.uiuc.edu:5200042:000:563
Nf-From: m.cs.uiuc.edu!robison    Jul 19 21:18:00 1989


>		bundle (q, r) := t DIVREM b

It is possible to define a `bundle' function in C++ that would create
a pair of references.  The `=' operator could be overloaded to
make the above work.  The only drawback is that C++ does not have
parametric polymorphism, so a different bundle would have to be
defined for each type of q,r.  A polymorphic language like Russell
that distinguishes lvalues from rvalues would really solve the problem.

Arch D. Robison
University of Illinois at Urbana-Champaign

UUCP: {pur-ee,convex}!uiucdcs!robison
Internet: robison@CS.UIUC.EDU