comp.lang.ada
 help / color / mirror / Atom feed
From: "Martin Dowie" <martin.dowie@btopenworld.com>
Subject: Re: Mneson announcement and help request
Date: Wed, 2 Jun 2004 19:46:12 +0000 (UTC)
Date: 2004-06-02T19:46:12+00:00	[thread overview]
Message-ID: <c9laq4$ggk$1@sparta.btinternet.com> (raw)
In-Reply-To: mailman.37.1086198453.391.comp.lang.ada@ada-france.org

"Marius Amado Alves" <amado.alves@netcabo.pt> wrote in message
news:mailman.37.1086198453.391.comp.lang.ada@ada-france.org...
> Ok, so the secret formula is:
>
>    cost(exception check) < cost(condition check) < cost(raising)

Quite possibly

"much <" cost(raising)

There might even be times when

    cost(exception check) = cost(condition check)

or


    cost(exception check) > cost(condition check)

> And of course which idiom is best for algorithm A depends on the nature
> and casuistics of A. Finding the critical algorithms and determining
> these properties for each one is the hard work now.

Absolutely but for some systems it might just be worth doing (particularly
hard real-time systems).

> In the ASCLWG discussion I didn't intend to demonstrate past the case at
> hand then, namely the first two costs above. Maybe I was blissfully
> ignorant of the third.
>
> Now I'll have one more hint next time I find some Mneson function slow.
>
> Thanks for the byte :-)

Your welcome! :-)

Cheers

-- Martin





  reply	other threads:[~2004-06-02 19:46 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-06-01 15:56 Mneson announcement and help request Marius Amado Alves
2004-06-02  2:26 ` Jeff C,
2004-06-02  3:06   ` Marius Amado Alves
2004-06-02 11:19     ` Georg Bauhaus
2004-06-02 11:41       ` Marius Amado Alves
     [not found]         ` <c9l0vo$pq3$1@sparta.btinternet.com>
2004-06-02 17:47           ` Marius Amado Alves
2004-06-02 19:46             ` Martin Dowie [this message]
2004-06-02 22:10           ` Randy Brukardt
2004-06-03  5:58             ` Martin Dowie
2004-06-04  3:21               ` Randy Brukardt
2004-06-04  5:55                 ` Martin Dowie
2004-06-04  7:30                   ` Jean-Pierre Rosen
2004-06-04 14:11                     ` Larry Kilgallen
2004-06-03  4:12           ` Jeffrey Carter
2004-06-03  5:48             ` Martin Dowie
2004-06-03  9:02             ` Martin Krischik
2004-06-02 11:41       ` Georg Bauhaus
2004-06-02 13:14         ` Marius Amado Alves
2004-06-03  4:09         ` Jeffrey Carter
2004-06-03 11:24           ` Georg Bauhaus
2004-06-02  3:21   ` Marius Amado Alves
2004-06-22 20:49     ` Jacob Sparre Andersen
2004-06-23  9:36       ` Marius Amado Alves
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox