Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!decwrl!deccrl!news.crl.dec.com!shlump.nac.dec.com!decuac!haven!ni.umd.edu!uc780.umd.edu!cs450a03
From: cs450a03@uc780.umd.edu
Newsgroups: comp.lang.misc
Subject: RE: Dynamic typing (part 3)
Message-ID: <3APR91.06511330@uc780.umd.edu>
Date: 3 Apr 91 06:51:13 GMT
References: <1991Apr1.010526.26781@neon.Stanford.EDU> <boehm.670539603@siria> <1APR91.23564447@uc780.umd.edu> <28673@dime.cs.umass.edu> <3APR91.00020019@uc780.umd.edu>
Sender: usenet@ni.umd.edu (USENET News System)
Organization: The University of Maryland University College
Lines: 12
Nntp-Posting-Host: uc780.umd.edu

I wrote:
>For example, if F(x) is defined as G(h(q(x))), and the domain of q is
>balogna sandwiches, then the domain of F is balogna sandwiches, and
>x can only take on values that are balogna sandwiches.  Using q in
>this manner is sufficient to declare the type of F.

gack

This should say "Using q in this manner is sufficient to declare the
domain (argument type) of F."  The result type of F depends on G.

Raul