Article View: comp.lang.misc
Article #303Re: Language Tenets (was Re: Double
From: robison
Date: Thu, 20 Jul 1989 02:18
Date: Thu, 20 Jul 1989 02:18
15 lines
1035 bytes
1035 bytes
> 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
Technical Details
Message-ID:
<5200042@m.cs.uiuc.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!uxc.cso.uiuc.edu!uxc.cso.uiuc.edu!m.cs.uiuc.edu!robisonReferences:
<84306@ti-csl.csc.ti.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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