Article View: comp.lang.misc
Article #5194Re: "true" functions (Re: Another 'D' p
From: robison
Date: Tue, 01 Mar 1988 04:33
Date: Tue, 01 Mar 1988 04:33
17 lines
1123 bytes
1123 bytes
In article <1893@phoenix.Princeton.EDU> rjchen@phoenix.Princeton.EDU (Raymond Juimong Chen) writes:
> Propose that there be a way to declare "true functions", ie, functions
> whose return values depend on and are solely determined by the arguments
> passed to it. They also have no side-effects.
Russell also has this feature. In Russell "true functions"
may be used in type declarations, thus allowing generic procedures
with strong type checking.
Arch D. Robison
University of Illinois at Urbana-Champaign
CSNET: robison@UIUC.CSNET
UUCP: {ihnp4,pur-ee,convex}!uiucdcs!robison
ARPA: robison@B.CS.UIUC.EDU (robison@UIUC.ARPA)
Technical Details
Message-ID:
<170500015@uiucdcsb>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-lcc!ames!umd5!purdue!i.cc.purdue.edu!j.cc.purdue.edu!pur-ee!uiucdcs!uiucdcsb!robisonReferences:
<7282@oberon.USC.EDU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-lcc!ames!umd5!purdue!i.cc.purdue.edu!j.cc.purdue.edu!pur-ee!uiucdcs!uiucdcsb!robison From: robison@uiucdcsb.cs.uiuc.edu Newsgroups: comp.lang.misc Subject: Re: "true" functions (Re: Another 'D' p Message-ID: <170500015@uiucdcsb> Date: 1 Mar 88 04:33:00 GMT References: <7282@oberon.USC.EDU> Lines: 16 Nf-ID: #R:oberon.USC.EDU:7282:uiucdcsb:170500015:000:633 Nf-From: uiucdcsb.cs.uiuc.edu!robison Feb 29 22:33:00 1988