From: Jon S Anthony <jsa@synquiry.com>
Subject: Re: Looking for Ada Technique Name and References
Date: 2000/02/22
Date: 2000-02-22T00:00:00+00:00 [thread overview]
Message-ID: <38B33F23.4784@synquiry.com> (raw)
In-Reply-To: 38b32dca@eeyore.callnetuk.com
Nick Roberts wrote:
>
> "John Halleck" <nahaj@u.cc.utah.edu> wrote in message
> news:88svc0$nkj$1@coward.ks.cc.utah.edu...
> > ...
> > This trick is *** NOT *** supported by most languages.
>
> I don't think I've ever encountered any language that allows a
> function composition itself to be specially defined.
Any language that directly supports higher order functions supports
such definitions (any functional language, e.g., Common Lisp or Scheme).
> A classic case is where a 'mod' is done between two operands just
> after (or before) a divide is done between the same operands. Many
> compilers will optimise this into a single machine instruction
> (which computes both the quotient and the modulus in one go).
What has this to do with function composition? Sounds like a typical
optimization arising out of data flow analysis.
/Jon
--
Jon Anthony
Synquiry Technologies, Ltd. Belmont, MA 02478, 617.484.3383
"Nightmares - Ha! The way my life's been going lately,
Who'd notice?" -- Londo Mollari
next prev parent reply other threads:[~2000-02-22 0:00 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <88kegp$iso$1@coward.ks.cc.utah.edu>
[not found] ` <88kh6q$j4j$1@coward.ks.cc.utah.edu>
2000-02-18 0:00 ` Looking for Ada Technique Name and References Tucker Taft
2000-02-21 0:00 ` Diana Webster
2000-02-22 0:00 ` John Halleck
2000-02-22 0:00 ` Vladimir Olensky
2000-02-22 0:00 ` John Halleck
2000-02-22 0:00 ` tmoran
2000-02-22 0:00 ` David Starner
2000-02-23 0:00 ` tmoran
2000-02-23 0:00 ` Nick Roberts
2000-02-22 0:00 ` Jon S Anthony [this message]
2000-02-28 0:00 ` Charles D. Hixson
2000-02-28 0:00 ` Jon S Anthony
2000-02-29 0:00 ` Charles Hixson
2000-02-29 0:00 ` Brian Rogoff
2000-02-29 0:00 ` Wes Groleau
2000-02-29 0:00 ` Gautier
2000-03-01 0:00 ` Wes Groleau
2000-02-29 0:00 ` Jon S Anthony
2000-02-29 0:00 ` Brian Rogoff
2000-02-29 0:00 ` Jon S Anthony
2000-03-01 0:00 ` Charles Hixson
2000-03-01 0:00 ` Brian Rogoff
2000-03-01 0:00 ` Jon S Anthony
2000-03-04 0:00 ` Nick Roberts
2000-02-22 0:00 ` Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox