From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Parameter Modes, In In Out and Out
Date: Wed, 10 Jan 2001 00:47:37 GMT
Date: 2001-01-10T00:47:37+00:00 [thread overview]
Message-ID: <Pine.BSF.4.21.0101091641170.3696-100000@shell5.ba.best.com> (raw)
In-Reply-To: <93fqau$6m2$1@nnrp1.deja.com>
On Tue, 9 Jan 2001, Robert Dewar wrote:
> In article <93flab$2mh$1@nnrp1.deja.com>,
> dmitry6243@my-deja.com wrote:
>
> > It is not complex vs. functional, it is correct vs.
> > incorrect.
>
> I think there may be a language problem here :-)
>
> We are looking for technical arguments which always have to
> balance complexity against functinlaity
As much as I like multimethods, I have to agree that for a language like
Ada, which is a relatively low level language which should be efficiently
implementable without heroics, MM are probably too much to ask for. I'd
like full closures too but that ain't happenin' without GC!
[...snip...]
> You might as well say that any language that does no provide
> complete referential transparency is incorrect. Yes, in the
> environment in which this discussion takes place, that is true,
> but it does not mean we have to immediately go and implement
> lazy evaluation in Ada 95 :-)
Explain please. There are languages which are referentially transparent
which are also strict/eager. Mercury and Opal come to mind (see, I can
play the obscure language game as well as anyone :).
-- Brian
PS: Mercury seems to be a very worthy successor to Prolog.
next prev parent reply other threads:[~2001-01-10 0:47 UTC|newest]
Thread overview: 79+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-01-06 0:11 Parameter Modes, In In Out and Out i.a.mcleod
2001-01-06 4:58 ` tmoran
2001-01-06 17:06 ` Robert Dewar
2001-01-06 19:50 ` tmoran
2001-01-06 20:31 ` Robert Dewar
2001-01-07 1:59 ` John English
2001-01-07 3:51 ` Robert Dewar
2001-01-08 12:06 ` dmitry6243
2001-01-09 4:32 ` Robert Dewar
2001-01-09 10:05 ` dmitry6243
2001-01-09 4:35 ` Robert Dewar
2001-01-09 9:58 ` dmitry6243
2001-01-09 14:13 ` Robert Dewar
2001-01-09 18:29 ` dmitry6243
2001-01-09 19:55 ` Robert Dewar
2001-01-10 0:47 ` Brian Rogoff [this message]
2001-01-10 21:50 ` Robert Dewar
2001-01-10 9:23 ` dmitry6243
2001-01-10 21:46 ` Robert Dewar
2001-01-11 11:46 ` dmitry6243
2001-01-11 16:48 ` Robert Dewar
2001-01-11 19:52 ` Thierry Lelegard
2001-01-11 20:10 ` Pascal Obry
2001-01-12 8:05 ` Florian Weimer
2001-01-12 13:31 ` gasperon
2001-01-12 14:02 ` n_brunot
2001-01-12 17:26 ` charlet
2001-01-14 18:23 ` n_brunot
2001-01-14 21:05 ` Robert Dewar
2001-01-15 8:56 ` n_brunot
2001-01-12 11:05 ` dmitry6243
2001-01-12 13:55 ` Robert Dewar
2001-01-12 22:10 ` Dale Stanbrough
2001-01-13 1:13 ` Robert Dewar
2001-01-13 17:29 ` dmitry6243
2001-01-13 18:22 ` Robert Dewar
2001-01-13 22:32 ` Brian Rogoff
2001-01-14 6:02 ` Jeffrey Carter
2001-01-14 14:33 ` Robert Dewar
2001-01-14 18:14 ` Jeffrey Carter
2001-01-14 21:10 ` Robert Dewar
2001-01-14 20:45 ` Brian Rogoff
2001-01-14 14:23 ` Robert Dewar
2001-01-14 20:42 ` Brian Rogoff
2001-01-14 21:17 ` Robert Dewar
2001-01-15 20:57 ` Brian Rogoff
2001-01-15 16:25 ` dmitry6243
2001-02-02 7:06 ` Multiple dispatch (was " mark_lundquist
2001-02-02 13:49 ` dmitry6243
2001-01-16 12:22 ` Georg Bauhaus
2001-01-13 4:46 ` Larry Kilgallen
[not found] ` <93ko49$auq$1@nnrp1.deja.coOrganization: LJK Software <eiviJtYj+A7W@eisner.decus.org>
2001-01-13 6:00 ` Robert Dewar
2001-01-11 21:38 ` mark_lundquist
2001-01-12 0:20 ` John English
2001-01-12 13:57 ` Robert Dewar
2001-01-12 20:34 ` mark_lundquist
2001-01-13 18:06 ` Brian Rogoff
2001-01-11 21:28 ` mark_lundquist
2001-01-12 12:35 ` dmitry6243
2001-01-12 21:22 ` mark_lundquist
2001-01-13 1:16 ` Robert Dewar
2001-02-02 5:42 ` mark_lundquist
2001-02-02 14:55 ` Stephen Leake
2001-02-02 20:08 ` Robert Dewar
2001-02-05 15:00 ` Stephen Leake
2001-01-13 21:26 ` Jean-Pierre Rosen
2001-01-11 21:24 ` mark_lundquist
2001-01-12 12:13 ` dmitry6243
2001-01-06 16:21 ` Jean-Pierre Rosen
2001-01-09 15:15 ` Thierry Lelegard
2001-01-10 21:53 ` Robert Dewar
2001-01-07 19:15 ` DuckE
2001-01-09 20:44 ` Laurent Guerby
2001-01-09 21:46 ` Florian Weimer
2001-01-10 21:57 ` Robert Dewar
2001-01-10 23:51 ` Tucker Taft
2001-01-11 4:23 ` Robert Dewar
2001-01-11 19:28 ` Laurent Guerby
2001-01-18 18:53 ` FAROOQATIF
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox