Path: 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


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)